the architrave is contestable.
sent1: if there are public and little things then the absorbent is not a Hitchcock. sent2: the staghound is not semiparasitic and does marble newspeak. sent3: if the fact that the staghound is both not public and not a Stenotus is false then it is not a Hitchcock. sent4: if the ulster is not a pronominal the fact that it is not a chemotherapy and is not a kind of a congealment is not right. sent5: if the staghound is not semiparasitic and marbles newspeak it is not a Stenotus. sent6: if the ulster is non-public then the staghound is a kind of non-public thing that does slink driveshaft. sent7: the ulster is not a kind of a pronominal. sent8: if the fact that something is not a chemotherapy and it is not a congealment is not true it is not a public. sent9: the fact that the architrave is contestable if the absorbent is not a Hitchcock is not false. sent10: if something that is not a kind of a Stenotus is not an informality it is little. sent11: the staghound is not a kind of an informality.
sent4 & sent7 -> int1: the fact that the ulster is not a chemotherapy and it is not a kind of a congealment is false.; sent8 -> int2: the ulster is not public if that it is not a kind of a chemotherapy and is not a congealment does not hold.; int1 & int2 -> int3: the ulster is not a public.; int3 & sent6 -> int4: the staghound is public thing that slinks driveshaft.; int4 -> int5: the staghound is public.; sent10 -> int6: if the staghound is not a Stenotus and it is not an informality then it is a kind of a little.; sent5 & sent2 -> int7: the staghound is not a kind of a Stenotus.; int7 & sent11 -> int8: the staghound is both not a Stenotus and not an informality.; int6 & int8 -> int9: the staghound is a little.; int5 & int9 -> int10: the staghound is not non-public but a little.; int10 -> int11: something is public thing that is little.; int11 & sent1 -> int12: the absorbent is not a Hitchcock.; int12 & sent9 -> hypothesis;
$hypothesis$ = the architrave is contestable. ; $context$ = sent1: if there are public and little things then the absorbent is not a Hitchcock. sent2: the staghound is not semiparasitic and does marble newspeak. sent3: if the fact that the staghound is both not public and not a Stenotus is false then it is not a Hitchcock. sent4: if the ulster is not a pronominal the fact that it is not a chemotherapy and is not a kind of a congealment is not right. sent5: if the staghound is not semiparasitic and marbles newspeak it is not a Stenotus. sent6: if the ulster is non-public then the staghound is a kind of non-public thing that does slink driveshaft. sent7: the ulster is not a kind of a pronominal. sent8: if the fact that something is not a chemotherapy and it is not a congealment is not true it is not a public. sent9: the fact that the architrave is contestable if the absorbent is not a Hitchcock is not false. sent10: if something that is not a kind of a Stenotus is not an informality it is little. sent11: the staghound is not a kind of an informality. ; $proof$ = 
sent4 & sent7 -> int1: the fact that the ulster is not a chemotherapy and it is not a kind of a congealment is false.; sent8 -> int2: the ulster is not public if that it is not a kind of a chemotherapy and is not a congealment does not hold.; int1 & int2 -> int3: the ulster is not a public.; int3 & sent6 -> int4: the staghound is public thing that slinks driveshaft.; int4 -> int5: the staghound is public.; sent10 -> int6: if the staghound is not a Stenotus and it is not an informality then it is a kind of a little.; sent5 & sent2 -> int7: the staghound is not a kind of a Stenotus.; int7 & sent11 -> int8: the staghound is both not a Stenotus and not an informality.; int6 & int8 -> int9: the staghound is a little.; int5 & int9 -> int10: the staghound is not non-public but a little.; int10 -> int11: something is public thing that is little.; int11 & sent1 -> int12: the absorbent is not a Hitchcock.; int12 & sent9 -> hypothesis; __PROVED__