the Vaishnava is proportionate.
sent1: if the Vaishnava is a Filoviridae then it is disproportionate. sent2: if something is not a transient then the terminus is either a areca or a Namur or both. sent3: the Vaishnava is not disproportionate if the micropyle is not disproportionate and is not a kind of a Papaver. sent4: the Vaishnava is a Filoviridae if the hairpin is raptorial. sent5: the plagioclase is not a bechamel. sent6: if there exists something such that it is disproportionate the micropyle is not non-raptorial and/or it is disproportionate. sent7: the micropyle is raptorial. sent8: if the micropyle is a kind of a Papaver that the hairpin is raptorial is right. sent9: that the brit is disproportionate is true if the micropyle is raptorial. sent10: if the micropyle is disproportionate then the brit is disproportionate. sent11: if something is not a kind of a Papaver it is a Filoviridae that is not disproportionate. sent12: if there is something such that it is not a bechamel then the fact that the terminus is not a cragsman and is a Mosaic is false. sent13: something is a Phascogale if it is a areca. sent14: the longboat is a Filoviridae. sent15: something is a bocce if it is a Phascogale. sent16: there exists something such that that it is not a kind of a transient is correct. sent17: the terminus is a Phascogale if it is a kind of a Namur. sent18: the hairpin is disproportionate. sent19: something does buy if the fact that it is not a cragsman but a Mosaic is not correct. sent20: if that the Vaishnava is a Filoviridae and is not disproportionate is not wrong then the hairpin is disproportionate. sent21: the micropyle is a Papaver.
sent8 & sent21 -> int1: the hairpin is raptorial.; int1 & sent4 -> int2: the Vaishnava is a Filoviridae.; int2 & sent1 -> hypothesis;
the fact that the brit is disproportionate is right.
sent11 -> int3: if the Vaishnava is not a Papaver it is a Filoviridae and not disproportionate.; sent15 -> int4: if the terminus is a Phascogale it is a kind of a bocce.; sent16 & sent2 -> int5: the terminus is a kind of a areca or it is a kind of a Namur or both.; sent13 -> int6: if the terminus is a kind of a areca then it is a Phascogale.; int5 & int6 & sent17 -> int7: the terminus is a kind of a Phascogale.; int4 & int7 -> int8: the terminus is a bocce.; sent19 -> int9: the terminus buys if that it is not a kind of a cragsman and it is Mosaic is incorrect.; sent5 -> int10: something is not a kind of a bechamel.; int10 & sent12 -> int11: the fact that the terminus is not a cragsman but it is a Mosaic is not true.; int9 & int11 -> int12: the terminus does buy.; int8 & int12 -> int13: the terminus is a bocce and it does buy.; int13 -> int14: there exists something such that it is a bocce and buys.;
$hypothesis$ = the Vaishnava is proportionate. ; $context$ = sent1: if the Vaishnava is a Filoviridae then it is disproportionate. sent2: if something is not a transient then the terminus is either a areca or a Namur or both. sent3: the Vaishnava is not disproportionate if the micropyle is not disproportionate and is not a kind of a Papaver. sent4: the Vaishnava is a Filoviridae if the hairpin is raptorial. sent5: the plagioclase is not a bechamel. sent6: if there exists something such that it is disproportionate the micropyle is not non-raptorial and/or it is disproportionate. sent7: the micropyle is raptorial. sent8: if the micropyle is a kind of a Papaver that the hairpin is raptorial is right. sent9: that the brit is disproportionate is true if the micropyle is raptorial. sent10: if the micropyle is disproportionate then the brit is disproportionate. sent11: if something is not a kind of a Papaver it is a Filoviridae that is not disproportionate. sent12: if there is something such that it is not a bechamel then the fact that the terminus is not a cragsman and is a Mosaic is false. sent13: something is a Phascogale if it is a areca. sent14: the longboat is a Filoviridae. sent15: something is a bocce if it is a Phascogale. sent16: there exists something such that that it is not a kind of a transient is correct. sent17: the terminus is a Phascogale if it is a kind of a Namur. sent18: the hairpin is disproportionate. sent19: something does buy if the fact that it is not a cragsman but a Mosaic is not correct. sent20: if that the Vaishnava is a Filoviridae and is not disproportionate is not wrong then the hairpin is disproportionate. sent21: the micropyle is a Papaver. ; $proof$ = 
sent8 & sent21 -> int1: the hairpin is raptorial.; int1 & sent4 -> int2: the Vaishnava is a Filoviridae.; int2 & sent1 -> hypothesis; __DISPROVED__