the fucoid is independent thing that is monoclinic.
sent1: the fucoid is independent thing that is gyral. sent2: the stonewort does not circularize homeroom but it does refrain surgeon if the fructification is not a megacolon. sent3: the fucoid is not non-gyral. sent4: if the fact that something is not gyral and it is not a mill-girl is not right then it is gyral. sent5: the feedstock is gyral but it is not a mill-girl if the stonewort does not refrain competitiveness. sent6: the fucoid is not non-monoclinic if that the feedstock is a kind of a dose is not false. sent7: the fucoid is not a dose if the feedstock is gyral but not a mill-girl. sent8: if the fucoid is monoclinic then the feedstock is gyral. sent9: if something refrains surgeon then it does not refrain competitiveness. sent10: the fact that something is independent and it is monoclinic is false if it is not a dose. sent11: the feedstock is a dose.
sent6 & sent11 -> int1: the fucoid is monoclinic.; sent1 -> int2: the fucoid is independent.; int1 & int2 -> hypothesis;
the fact that the fucoid is independent and is monoclinic is wrong.
sent10 -> int3: if the fucoid is not a dose that it is independent thing that is monoclinic does not hold.; sent9 -> int4: the stonewort does not refrain competitiveness if the fact that it refrains surgeon hold.;
$hypothesis$ = the fucoid is independent thing that is monoclinic. ; $context$ = sent1: the fucoid is independent thing that is gyral. sent2: the stonewort does not circularize homeroom but it does refrain surgeon if the fructification is not a megacolon. sent3: the fucoid is not non-gyral. sent4: if the fact that something is not gyral and it is not a mill-girl is not right then it is gyral. sent5: the feedstock is gyral but it is not a mill-girl if the stonewort does not refrain competitiveness. sent6: the fucoid is not non-monoclinic if that the feedstock is a kind of a dose is not false. sent7: the fucoid is not a dose if the feedstock is gyral but not a mill-girl. sent8: if the fucoid is monoclinic then the feedstock is gyral. sent9: if something refrains surgeon then it does not refrain competitiveness. sent10: the fact that something is independent and it is monoclinic is false if it is not a dose. sent11: the feedstock is a dose. ; $proof$ = 
sent6 & sent11 -> int1: the fucoid is monoclinic.; sent1 -> int2: the fucoid is independent.; int1 & int2 -> hypothesis; __PROVED__