the Basotho is random.
sent1: something that is a kind of a gluttony is fabian. sent2: something does strain Georgian if it alibis fiddlehead. sent3: if the Shavian is agronomic then the Basotho is random. sent4: something is not monumental if it is fabian. sent5: there exists something such that it staggers. sent6: there is something such that it is not an interstate. sent7: if there is something such that it is not a kind of an interstate then the fiddlehead does not burglarize. sent8: something is a gluttony if it does not burglarize. sent9: the fiddlehead is not nonrandom if the fact that it does strain Georgian hold. sent10: if something is not monumental then it alibis fiddlehead. sent11: the Shavian is agronomic if the fiddlehead strains Georgian.
sent8 -> int1: that the fiddlehead is a gluttony is true if it does not burglarize.; sent6 & sent7 -> int2: the fiddlehead does not burglarize.; int1 & int2 -> int3: the fiddlehead is a gluttony.; sent1 -> int4: that the fiddlehead is fabian if the fiddlehead is a kind of a gluttony is correct.; int3 & int4 -> int5: that the fiddlehead is fabian hold.; sent4 -> int6: the fiddlehead is not monumental if it is fabian.; int5 & int6 -> int7: the fiddlehead is not monumental.; sent10 -> int8: if that the fiddlehead is not monumental is true then it does alibi fiddlehead.; int7 & int8 -> int9: the fiddlehead alibis fiddlehead.; sent2 -> int10: if the fiddlehead does alibi fiddlehead then it does strain Georgian.; int9 & int10 -> int11: the fiddlehead does strain Georgian.; int11 & sent11 -> int12: the Shavian is agronomic.; int12 & sent3 -> hypothesis;
$hypothesis$ = the Basotho is random. ; $context$ = sent1: something that is a kind of a gluttony is fabian. sent2: something does strain Georgian if it alibis fiddlehead. sent3: if the Shavian is agronomic then the Basotho is random. sent4: something is not monumental if it is fabian. sent5: there exists something such that it staggers. sent6: there is something such that it is not an interstate. sent7: if there is something such that it is not a kind of an interstate then the fiddlehead does not burglarize. sent8: something is a gluttony if it does not burglarize. sent9: the fiddlehead is not nonrandom if the fact that it does strain Georgian hold. sent10: if something is not monumental then it alibis fiddlehead. sent11: the Shavian is agronomic if the fiddlehead strains Georgian. ; $proof$ = 
sent8 -> int1: that the fiddlehead is a gluttony is true if it does not burglarize.; sent6 & sent7 -> int2: the fiddlehead does not burglarize.; int1 & int2 -> int3: the fiddlehead is a gluttony.; sent1 -> int4: that the fiddlehead is fabian if the fiddlehead is a kind of a gluttony is correct.; int3 & int4 -> int5: that the fiddlehead is fabian hold.; sent4 -> int6: the fiddlehead is not monumental if it is fabian.; int5 & int6 -> int7: the fiddlehead is not monumental.; sent10 -> int8: if that the fiddlehead is not monumental is true then it does alibi fiddlehead.; int7 & int8 -> int9: the fiddlehead alibis fiddlehead.; sent2 -> int10: if the fiddlehead does alibi fiddlehead then it does strain Georgian.; int9 & int10 -> int11: the fiddlehead does strain Georgian.; int11 & sent11 -> int12: the Shavian is agronomic.; int12 & sent3 -> hypothesis; __PROVED__