the hierarch is a biennial.
sent1: the wastebasket is inshore. sent2: if the hierarch is not a biennial then the cargo masks borzoi. sent3: the wastebasket is not offshore and not non-fungicidal. sent4: if the cargo does shutter and it is a biennial the hierarch is not a kind of a biennial. sent5: that something is a kind of a shuttered and does jam getaway does not hold if the fact that it is fungicidal is not incorrect. sent6: that the wastebasket does shutter and does jam getaway is not correct. sent7: the wastebasket is not a shuttered. sent8: the cargo masks borzoi and is criminological if the hierarch is not a biennial. sent9: that the wastebasket is not a kind of a shuttered is not false if the borzoi is not a shuttered. sent10: if the wastebasket is fungicidal the fact that it does shutter and it jams getaway is not true. sent11: if that the borzoi is a kind of a shuttered is not right the wastebasket does not shuttered but it does jam getaway. sent12: the fact that the cargo masks borzoi is right. sent13: if the cargo is criminological then the borzoi does not shutter. sent14: the fact that something does not shutter but it does jam getaway is wrong if it is fungicidal.
void -> assump1: Let's assume that the hierarch is not a biennial.; sent8 & assump1 -> int1: the cargo does mask borzoi and is criminological.; int1 -> int2: the cargo is criminological.; int2 & sent13 -> int3: the borzoi is not a shuttered.; int3 & sent11 -> int4: the wastebasket is not a kind of a shuttered and jams getaway.; sent14 -> int5: the fact that the wastebasket does not shutter and jams getaway is not correct if it is fungicidal.; sent3 -> int6: the wastebasket is fungicidal.; int5 & int6 -> int7: the fact that the wastebasket does not shutter and jams getaway is not true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the hierarch is not biennial.
$hypothesis$ = the hierarch is a biennial. ; $context$ = sent1: the wastebasket is inshore. sent2: if the hierarch is not a biennial then the cargo masks borzoi. sent3: the wastebasket is not offshore and not non-fungicidal. sent4: if the cargo does shutter and it is a biennial the hierarch is not a kind of a biennial. sent5: that something is a kind of a shuttered and does jam getaway does not hold if the fact that it is fungicidal is not incorrect. sent6: that the wastebasket does shutter and does jam getaway is not correct. sent7: the wastebasket is not a shuttered. sent8: the cargo masks borzoi and is criminological if the hierarch is not a biennial. sent9: that the wastebasket is not a kind of a shuttered is not false if the borzoi is not a shuttered. sent10: if the wastebasket is fungicidal the fact that it does shutter and it jams getaway is not true. sent11: if that the borzoi is a kind of a shuttered is not right the wastebasket does not shuttered but it does jam getaway. sent12: the fact that the cargo masks borzoi is right. sent13: if the cargo is criminological then the borzoi does not shutter. sent14: the fact that something does not shutter but it does jam getaway is wrong if it is fungicidal. ; $proof$ = 
void -> assump1: Let's assume that the hierarch is not a biennial.; sent8 & assump1 -> int1: the cargo does mask borzoi and is criminological.; int1 -> int2: the cargo is criminological.; int2 & sent13 -> int3: the borzoi is not a shuttered.; int3 & sent11 -> int4: the wastebasket is not a kind of a shuttered and jams getaway.; sent14 -> int5: the fact that the wastebasket does not shutter and jams getaway is not correct if it is fungicidal.; sent3 -> int6: the wastebasket is fungicidal.; int5 & int6 -> int7: the fact that the wastebasket does not shutter and jams getaway is not true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__