that the fact that the bread-bin is a kind of a pollinator and does extend pignut is wrong is right.
sent1: the bread-bin is a kind of a squared if the fact that the shit is both a quest and not menopausal is not true. sent2: if the bread-bin is not a space it does extend pignut and it is parhelic. sent3: the shit is parhelic and it quests. sent4: the headhunter does quest. sent5: the shit quests if it does not space. sent6: if something is squared then it is a pollinator. sent7: there is nothing such that it is a quest and it is non-menopausal. sent8: the bread-bin is not a space.
sent7 -> int1: the fact that the shit quests but it is not menopausal is not correct.; int1 & sent1 -> int2: the bread-bin does square.; sent6 -> int3: the bread-bin is a pollinator if the fact that it does square hold.; int2 & int3 -> int4: the bread-bin is a pollinator.; sent2 & sent8 -> int5: the bread-bin does extend pignut and it is parhelic.; int5 -> int6: the bread-bin does extend pignut.; int4 & int6 -> hypothesis;
$hypothesis$ = that the fact that the bread-bin is a kind of a pollinator and does extend pignut is wrong is right. ; $context$ = sent1: the bread-bin is a kind of a squared if the fact that the shit is both a quest and not menopausal is not true. sent2: if the bread-bin is not a space it does extend pignut and it is parhelic. sent3: the shit is parhelic and it quests. sent4: the headhunter does quest. sent5: the shit quests if it does not space. sent6: if something is squared then it is a pollinator. sent7: there is nothing such that it is a quest and it is non-menopausal. sent8: the bread-bin is not a space. ; $proof$ = 
sent7 -> int1: the fact that the shit quests but it is not menopausal is not correct.; int1 & sent1 -> int2: the bread-bin does square.; sent6 -> int3: the bread-bin is a pollinator if the fact that it does square hold.; int2 & int3 -> int4: the bread-bin is a pollinator.; sent2 & sent8 -> int5: the bread-bin does extend pignut and it is parhelic.; int5 -> int6: the bread-bin does extend pignut.; int4 & int6 -> hypothesis; __DISPROVED__