the bennet does not walk.
sent1: the bennet is a kind of a prescription. sent2: the isoantibody is homeostatic if it is a walk. sent3: the catchment is archducal or it is a kind of a tarsal or both. sent4: the catchment is archducal or it is non-tarsal or both. sent5: if something is not tarsal then it fishes Bonn. sent6: the bennet fishes Bonn. sent7: if the catchment is a kind of a walk then the bennet is a tarsal. sent8: if the catchment fishes Bonn then the isoantibody is homeostatic. sent9: the fact that the mincemeat is nonexplosive and it is a kind of a quest is wrong. sent10: something does not fish Bonn if that it is a kind of a quest that does fish Djiboutian is false. sent11: something is archducal if either it fishes Bonn or it is not a walk or both. sent12: if the catchment is not tarsal it fishes Bonn. sent13: the isoantibody is a tarsal and/or it is non-homeostatic. sent14: the riff is exergonic and/or it is not homeostatic. sent15: the fact that the bennet is a walk but not homeostatic does not hold if the isoantibody does not fish Bonn. sent16: the isoantibody is a tarsal. sent17: the bennet is a kind of a walk if the isoantibody is homeostatic. sent18: something that either is archducal or is not tarsal or both does fish Bonn. sent19: if that something is a walk but not homeostatic is wrong then it is not a kind of a walk.
sent18 -> int1: if the catchment is archducal or it is not tarsal or both it fishes Bonn.; int1 & sent4 -> int2: the catchment fishes Bonn.; int2 & sent8 -> int3: the isoantibody is homeostatic.; int3 & sent17 -> hypothesis;
the bennet is not a walk.
sent19 -> int4: if the fact that the bennet walks and is not homeostatic does not hold then it is not a walks.; sent10 -> int5: if that the isoantibody does quest and it does fish Djiboutian is wrong then it does not fish Bonn.; sent9 -> int6: there is something such that the fact that that it is nonexplosive and it is a kind of a quest is right does not hold.;
$hypothesis$ = the bennet does not walk. ; $context$ = sent1: the bennet is a kind of a prescription. sent2: the isoantibody is homeostatic if it is a walk. sent3: the catchment is archducal or it is a kind of a tarsal or both. sent4: the catchment is archducal or it is non-tarsal or both. sent5: if something is not tarsal then it fishes Bonn. sent6: the bennet fishes Bonn. sent7: if the catchment is a kind of a walk then the bennet is a tarsal. sent8: if the catchment fishes Bonn then the isoantibody is homeostatic. sent9: the fact that the mincemeat is nonexplosive and it is a kind of a quest is wrong. sent10: something does not fish Bonn if that it is a kind of a quest that does fish Djiboutian is false. sent11: something is archducal if either it fishes Bonn or it is not a walk or both. sent12: if the catchment is not tarsal it fishes Bonn. sent13: the isoantibody is a tarsal and/or it is non-homeostatic. sent14: the riff is exergonic and/or it is not homeostatic. sent15: the fact that the bennet is a walk but not homeostatic does not hold if the isoantibody does not fish Bonn. sent16: the isoantibody is a tarsal. sent17: the bennet is a kind of a walk if the isoantibody is homeostatic. sent18: something that either is archducal or is not tarsal or both does fish Bonn. sent19: if that something is a walk but not homeostatic is wrong then it is not a kind of a walk. ; $proof$ = 
sent18 -> int1: if the catchment is archducal or it is not tarsal or both it fishes Bonn.; int1 & sent4 -> int2: the catchment fishes Bonn.; int2 & sent8 -> int3: the isoantibody is homeostatic.; int3 & sent17 -> hypothesis; __DISPROVED__