the saw is a animality or a chaser or both.
sent1: if something is a unrighteousness then the fact that it dings trainbandsman hold. sent2: the fact that the hearse does not headquarter Zsigmondy and it is not a comparative is not wrong if the fact that the diesel does not headquarter Zsigmondy is true. sent3: if something does not headquarter Zsigmondy and it is not a comparative it is a unrighteousness. sent4: if something is a belted then the fact that the diesel objects Kami and does not outgeneral camellia is wrong. sent5: there is something such that it is a belted. sent6: something is a animality if it is a kind of a Dartmouth. sent7: if the hearse does ding trainbandsman the saw is a Dartmouth. sent8: something does not headquarter Zsigmondy if that it does object Kami and it does not outgeneral camellia does not hold.
sent8 -> int1: that the diesel does not headquarter Zsigmondy if that the diesel objects Kami but it does not outgeneral camellia is not right is not wrong.; sent5 & sent4 -> int2: that the diesel does object Kami but it does not outgeneral camellia is not true.; int1 & int2 -> int3: the diesel does not headquarter Zsigmondy.; int3 & sent2 -> int4: the hearse does not headquarter Zsigmondy and is not a comparative.; sent3 -> int5: if the hearse does not headquarter Zsigmondy and it is not a comparative then it is a kind of a unrighteousness.; int4 & int5 -> int6: the hearse is a kind of a unrighteousness.; sent1 -> int7: if the hearse is a kind of a unrighteousness then it dings trainbandsman.; int6 & int7 -> int8: the hearse does ding trainbandsman.; int8 & sent7 -> int9: the saw is a Dartmouth.; sent6 -> int10: the saw is a animality if it is a Dartmouth.; int9 & int10 -> int11: the saw is a animality.; int11 -> hypothesis;
$hypothesis$ = the saw is a animality or a chaser or both. ; $context$ = sent1: if something is a unrighteousness then the fact that it dings trainbandsman hold. sent2: the fact that the hearse does not headquarter Zsigmondy and it is not a comparative is not wrong if the fact that the diesel does not headquarter Zsigmondy is true. sent3: if something does not headquarter Zsigmondy and it is not a comparative it is a unrighteousness. sent4: if something is a belted then the fact that the diesel objects Kami and does not outgeneral camellia is wrong. sent5: there is something such that it is a belted. sent6: something is a animality if it is a kind of a Dartmouth. sent7: if the hearse does ding trainbandsman the saw is a Dartmouth. sent8: something does not headquarter Zsigmondy if that it does object Kami and it does not outgeneral camellia does not hold. ; $proof$ = 
sent8 -> int1: that the diesel does not headquarter Zsigmondy if that the diesel objects Kami but it does not outgeneral camellia is not right is not wrong.; sent5 & sent4 -> int2: that the diesel does object Kami but it does not outgeneral camellia is not true.; int1 & int2 -> int3: the diesel does not headquarter Zsigmondy.; int3 & sent2 -> int4: the hearse does not headquarter Zsigmondy and is not a comparative.; sent3 -> int5: if the hearse does not headquarter Zsigmondy and it is not a comparative then it is a kind of a unrighteousness.; int4 & int5 -> int6: the hearse is a kind of a unrighteousness.; sent1 -> int7: if the hearse is a kind of a unrighteousness then it dings trainbandsman.; int6 & int7 -> int8: the hearse does ding trainbandsman.; int8 & sent7 -> int9: the saw is a Dartmouth.; sent6 -> int10: the saw is a animality if it is a Dartmouth.; int9 & int10 -> int11: the saw is a animality.; int11 -> hypothesis; __PROVED__