the badger is a CIS.
sent1: something is shorts. sent2: if the fact that the Rollerblade is both a shorts and not interplanetary does not hold it does not correspond. sent3: the Rollerblade does not correspond if it is interplanetary. sent4: the ursinia is a cylinder and it does entrain. sent5: if the ursinia marches it is a sapper. sent6: if the badger is a kind of a nogging then the fact that the sulfisoxazole is lumbosacral and not a shorts is incorrect. sent7: the sulfisoxazole is a kind of a nogging if that the badger is not a CIS but it is a Attic is not right. sent8: if there is something such that it is nonsyllabic then the Rollerblade does correspond. sent9: that the Rollerblade is a shorts and it is interplanetary does not hold if the sulfisoxazole is a shorts. sent10: the ursinia is a march. sent11: the fact that that the Rollerblade is a kind of a shorts but it is not interplanetary is not incorrect is wrong if the sulfisoxazole is a shorts. sent12: if the sulfisoxazole is a kind of a nogging then it is a shorts. sent13: if something corresponds then it is a kind of a nogging. sent14: the fact that the notepad is interplanetary is right if something is a cylinder and it is a kind of a sapper. sent15: the fact that something is a CIS is not wrong if it is a shorts and is not a kind of a nogging. sent16: if there is something such that it is not non-interplanetary that the Rollerblade is a kind of nonsyllabic thing that corresponds is not true. sent17: the kymograph is interplanetary. sent18: the notepad is nonsyllabic. sent19: something does correspond if it is not interplanetary and/or it does correspond. sent20: if there exists something such that it is a Attic the fact that the Rollerblade is a kind of a shorts is correct.
void -> assump1: Let's assume that the fact that the badger is not a CIS but it is a Attic is wrong.; sent7 & assump1 -> int1: the sulfisoxazole is a nogging.; int1 & sent12 -> int2: the fact that the sulfisoxazole is a kind of a shorts hold.; int2 & sent11 -> int3: the fact that the Rollerblade is both a shorts and not interplanetary is false.; int3 & sent2 -> int4: the Rollerblade does not correspond.; sent18 -> int5: there exists something such that it is nonsyllabic.; int5 & sent8 -> int6: the Rollerblade corresponds.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the badger is not a kind of a CIS but it is a Attic.; int8 -> hypothesis;
that the sulfisoxazole is lumbosacral but it is not shorts is not right.
sent13 -> int9: if the badger does correspond then it is a nogging.; sent19 -> int10: that the badger corresponds if the badger is not interplanetary and/or does corresponds is not incorrect.;
$hypothesis$ = the badger is a CIS. ; $context$ = sent1: something is shorts. sent2: if the fact that the Rollerblade is both a shorts and not interplanetary does not hold it does not correspond. sent3: the Rollerblade does not correspond if it is interplanetary. sent4: the ursinia is a cylinder and it does entrain. sent5: if the ursinia marches it is a sapper. sent6: if the badger is a kind of a nogging then the fact that the sulfisoxazole is lumbosacral and not a shorts is incorrect. sent7: the sulfisoxazole is a kind of a nogging if that the badger is not a CIS but it is a Attic is not right. sent8: if there is something such that it is nonsyllabic then the Rollerblade does correspond. sent9: that the Rollerblade is a shorts and it is interplanetary does not hold if the sulfisoxazole is a shorts. sent10: the ursinia is a march. sent11: the fact that that the Rollerblade is a kind of a shorts but it is not interplanetary is not incorrect is wrong if the sulfisoxazole is a shorts. sent12: if the sulfisoxazole is a kind of a nogging then it is a shorts. sent13: if something corresponds then it is a kind of a nogging. sent14: the fact that the notepad is interplanetary is right if something is a cylinder and it is a kind of a sapper. sent15: the fact that something is a CIS is not wrong if it is a shorts and is not a kind of a nogging. sent16: if there is something such that it is not non-interplanetary that the Rollerblade is a kind of nonsyllabic thing that corresponds is not true. sent17: the kymograph is interplanetary. sent18: the notepad is nonsyllabic. sent19: something does correspond if it is not interplanetary and/or it does correspond. sent20: if there exists something such that it is a Attic the fact that the Rollerblade is a kind of a shorts is correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the badger is not a CIS but it is a Attic is wrong.; sent7 & assump1 -> int1: the sulfisoxazole is a nogging.; int1 & sent12 -> int2: the fact that the sulfisoxazole is a kind of a shorts hold.; int2 & sent11 -> int3: the fact that the Rollerblade is both a shorts and not interplanetary is false.; int3 & sent2 -> int4: the Rollerblade does not correspond.; sent18 -> int5: there exists something such that it is nonsyllabic.; int5 & sent8 -> int6: the Rollerblade corresponds.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the badger is not a kind of a CIS but it is a Attic.; int8 -> hypothesis; __DISPROVED__