the fact that the greybeard is not a Ionian but it reconciles is incorrect.
sent1: if something does not term Beauvoir the fact that it is not a lodestone and it is not a voussoir does not hold. sent2: if something is not a kind of a payroll it does not term Beauvoir. sent3: the greybeard is a kind of a leering if it is a payroll. sent4: the Colossians is not a payroll if it is not migrational. sent5: if the fact that the greybeard is not lithographic and does not term Beauvoir does not hold then it is not a Ionian. sent6: if the greybeard is a hoop then it is a leering. sent7: the greybeard does hoop. sent8: if the Colossians does not term Beauvoir then the fact that the greybeard is non-lithographic thing that does not term Beauvoir is wrong. sent9: if the fact that something is a kind of migrational thing that is not mutable is false then it is not a kind of a payroll. sent10: if something terms Beauvoir the fact that it is not a Ionian and reconciles is wrong. sent11: the Colossians does not hoop if that it is a kind of a Ionian and it is not migrational is not correct. sent12: if the greybeard is a leering it does reconcile. sent13: that the fact that the Colossians is migrational but it is not mutable is wrong is true.
sent9 -> int1: if that the Colossians is both migrational and not mutable is incorrect it is not a payroll.; int1 & sent13 -> int2: the Colossians is not a payroll.; sent2 -> int3: if the Colossians is not a payroll then it does not term Beauvoir.; int2 & int3 -> int4: the Colossians does not term Beauvoir.; int4 & sent8 -> int5: that the greybeard is non-lithographic and does not term Beauvoir is wrong.; int5 & sent5 -> int6: the greybeard is not Ionian.; sent6 & sent7 -> int7: the greybeard is a leering.; sent12 & int7 -> int8: the greybeard does reconcile.; int6 & int8 -> hypothesis;
that the fact that the greybeard is not a Ionian but it reconciles is not right is not incorrect.
sent10 -> int9: if the fact that the greybeard terms Beauvoir hold that it is a kind of non-Ionian thing that reconciles does not hold.;
$hypothesis$ = the fact that the greybeard is not a Ionian but it reconciles is incorrect. ; $context$ = sent1: if something does not term Beauvoir the fact that it is not a lodestone and it is not a voussoir does not hold. sent2: if something is not a kind of a payroll it does not term Beauvoir. sent3: the greybeard is a kind of a leering if it is a payroll. sent4: the Colossians is not a payroll if it is not migrational. sent5: if the fact that the greybeard is not lithographic and does not term Beauvoir does not hold then it is not a Ionian. sent6: if the greybeard is a hoop then it is a leering. sent7: the greybeard does hoop. sent8: if the Colossians does not term Beauvoir then the fact that the greybeard is non-lithographic thing that does not term Beauvoir is wrong. sent9: if the fact that something is a kind of migrational thing that is not mutable is false then it is not a kind of a payroll. sent10: if something terms Beauvoir the fact that it is not a Ionian and reconciles is wrong. sent11: the Colossians does not hoop if that it is a kind of a Ionian and it is not migrational is not correct. sent12: if the greybeard is a leering it does reconcile. sent13: that the fact that the Colossians is migrational but it is not mutable is wrong is true. ; $proof$ = 
sent9 -> int1: if that the Colossians is both migrational and not mutable is incorrect it is not a payroll.; int1 & sent13 -> int2: the Colossians is not a payroll.; sent2 -> int3: if the Colossians is not a payroll then it does not term Beauvoir.; int2 & int3 -> int4: the Colossians does not term Beauvoir.; int4 & sent8 -> int5: that the greybeard is non-lithographic and does not term Beauvoir is wrong.; int5 & sent5 -> int6: the greybeard is not Ionian.; sent6 & sent7 -> int7: the greybeard is a leering.; sent12 & int7 -> int8: the greybeard does reconcile.; int6 & int8 -> hypothesis; __DISPROVED__