the corythosaur is not a suppressant.
sent1: that the redbud is opposite but it is not a Antedonidae is false. sent2: if something is biosystematic and/or is not a kind of a Hanover then it is a foster-son. sent3: the corythosaur is biosystematic and/or a Hanover if the redbud is not a Hanover. sent4: the fact that the redbud is a diaphoretic is true if it outgrows dayboy and it is not Chippendale. sent5: something is appealable if it is not opposite. sent6: the redbud does outgrow dayboy but it is not Chippendale. sent7: a foster-son is a suppressant. sent8: if the redbud is not a Hanover the corythosaur either is biosystematic or is not a Hanover or both. sent9: if the redbud is biosystematic and a Hanover then that the megathere is not biosystematic is not incorrect. sent10: if something is a diaphoretic that is a kind of a Hanover it is not appealable. sent11: something is appealable if that it is opposite and not a Antedonidae is false.
sent4 & sent6 -> int1: the redbud is a diaphoretic.; void -> assump1: Let's assume that the redbud is a Hanover.; int1 & assump1 -> int2: the redbud is a kind of diaphoretic a Hanover.; sent10 -> int3: the redbud is not appealable if it is diaphoretic and a Hanover.; int2 & int3 -> int4: the redbud is not appealable.; sent11 -> int5: the redbud is appealable if that it is opposite and it is not a kind of a Antedonidae is wrong.; int5 & sent1 -> int6: the redbud is appealable.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the redbud is not a kind of a Hanover.; int8 & sent8 -> int9: the corythosaur is biosystematic or is not a Hanover or both.; sent2 -> int10: if the corythosaur is biosystematic and/or it is not a Hanover then it is a kind of a foster-son.; int9 & int10 -> int11: the corythosaur is a foster-son.; sent7 -> int12: the corythosaur is a suppressant if it is a foster-son.; int11 & int12 -> hypothesis;
the megathere is not biosystematic.
$hypothesis$ = the corythosaur is not a suppressant. ; $context$ = sent1: that the redbud is opposite but it is not a Antedonidae is false. sent2: if something is biosystematic and/or is not a kind of a Hanover then it is a foster-son. sent3: the corythosaur is biosystematic and/or a Hanover if the redbud is not a Hanover. sent4: the fact that the redbud is a diaphoretic is true if it outgrows dayboy and it is not Chippendale. sent5: something is appealable if it is not opposite. sent6: the redbud does outgrow dayboy but it is not Chippendale. sent7: a foster-son is a suppressant. sent8: if the redbud is not a Hanover the corythosaur either is biosystematic or is not a Hanover or both. sent9: if the redbud is biosystematic and a Hanover then that the megathere is not biosystematic is not incorrect. sent10: if something is a diaphoretic that is a kind of a Hanover it is not appealable. sent11: something is appealable if that it is opposite and not a Antedonidae is false. ; $proof$ = 
sent4 & sent6 -> int1: the redbud is a diaphoretic.; void -> assump1: Let's assume that the redbud is a Hanover.; int1 & assump1 -> int2: the redbud is a kind of diaphoretic a Hanover.; sent10 -> int3: the redbud is not appealable if it is diaphoretic and a Hanover.; int2 & int3 -> int4: the redbud is not appealable.; sent11 -> int5: the redbud is appealable if that it is opposite and it is not a kind of a Antedonidae is wrong.; int5 & sent1 -> int6: the redbud is appealable.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the redbud is not a kind of a Hanover.; int8 & sent8 -> int9: the corythosaur is biosystematic or is not a Hanover or both.; sent2 -> int10: if the corythosaur is biosystematic and/or it is not a Hanover then it is a kind of a foster-son.; int9 & int10 -> int11: the corythosaur is a foster-son.; sent7 -> int12: the corythosaur is a suppressant if it is a foster-son.; int11 & int12 -> hypothesis; __DISPROVED__