the rootstock is a kind of a roundhead.
sent1: the fact that the rider is a civility and it is not non-tensile is wrong. sent2: if the alga weighs then the rootstock is not a roundhead. sent3: if that something weighs and is not a kind of a pawer is not right it is a roundhead. sent4: that the crumb is not a pawer and is not accipitrine is not true if that the headsail is accipitrine is not correct. sent5: the fact that the rider is not a osteologist and is a kind of a kingpin does not hold. sent6: the alga is non-tensile if the fact that the crumb is not a kind of a pawer and it is not accipitrine is wrong. sent7: if the crumb is a pawer then the alga is not tensile. sent8: that the rider is not a osteologist and it is not a kingpin is not correct. sent9: if something is not tensile that that it is not non-Hindustani and it is not a patch is right is false. sent10: the headsail is not accipitrine if there exists something such that that it is not a kind of a osteologist and it is not a kingpin is not true. sent11: something broaches if that it is both not non-Hindustani and not a patch is not right. sent12: if something is not tensile the fact that it is a kind of a Hindustani and it is a patch is not correct. sent13: something does weigh if it does broach.
sent8 -> int1: there exists something such that the fact that it is not a osteologist and it is not a kingpin is incorrect.; int1 & sent10 -> int2: the headsail is not accipitrine.; int2 & sent4 -> int3: the fact that the crumb is not a pawer and is not accipitrine is not true.; int3 & sent6 -> int4: the alga is not tensile.; sent9 -> int5: if the fact that the alga is non-tensile is not wrong that it is a Hindustani and it is not a patch is wrong.; int4 & int5 -> int6: the fact that the alga is a Hindustani but it does not patch is not true.; sent11 -> int7: if the fact that the alga is a kind of a Hindustani but it is not a patch is wrong it does broach.; int6 & int7 -> int8: the alga broaches.; sent13 -> int9: that the alga does weigh if the alga does broach is not false.; int8 & int9 -> int10: the alga does weigh.; int10 & sent2 -> hypothesis;
$hypothesis$ = the rootstock is a kind of a roundhead. ; $context$ = sent1: the fact that the rider is a civility and it is not non-tensile is wrong. sent2: if the alga weighs then the rootstock is not a roundhead. sent3: if that something weighs and is not a kind of a pawer is not right it is a roundhead. sent4: that the crumb is not a pawer and is not accipitrine is not true if that the headsail is accipitrine is not correct. sent5: the fact that the rider is not a osteologist and is a kind of a kingpin does not hold. sent6: the alga is non-tensile if the fact that the crumb is not a kind of a pawer and it is not accipitrine is wrong. sent7: if the crumb is a pawer then the alga is not tensile. sent8: that the rider is not a osteologist and it is not a kingpin is not correct. sent9: if something is not tensile that that it is not non-Hindustani and it is not a patch is right is false. sent10: the headsail is not accipitrine if there exists something such that that it is not a kind of a osteologist and it is not a kingpin is not true. sent11: something broaches if that it is both not non-Hindustani and not a patch is not right. sent12: if something is not tensile the fact that it is a kind of a Hindustani and it is a patch is not correct. sent13: something does weigh if it does broach. ; $proof$ = 
sent8 -> int1: there exists something such that the fact that it is not a osteologist and it is not a kingpin is incorrect.; int1 & sent10 -> int2: the headsail is not accipitrine.; int2 & sent4 -> int3: the fact that the crumb is not a pawer and is not accipitrine is not true.; int3 & sent6 -> int4: the alga is not tensile.; sent9 -> int5: if the fact that the alga is non-tensile is not wrong that it is a Hindustani and it is not a patch is wrong.; int4 & int5 -> int6: the fact that the alga is a Hindustani but it does not patch is not true.; sent11 -> int7: if the fact that the alga is a kind of a Hindustani but it is not a patch is wrong it does broach.; int6 & int7 -> int8: the alga broaches.; sent13 -> int9: that the alga does weigh if the alga does broach is not false.; int8 & int9 -> int10: the alga does weigh.; int10 & sent2 -> hypothesis; __DISPROVED__