that the icicle evens 'hood but it is not a kind of a macaw is incorrect.
sent1: if something is both a macaw and praetorian then that the icicle is not a kind of a Dreiser is right. sent2: the vinaigrette is Angolan. sent3: the vinaigrette evens 'hood. sent4: the vinaigrette is multilateral but it does not outshout vinaigrette. sent5: that the chain-smoker is a kind of a Germanist and evens 'hood is true. sent6: that the icicle evens 'hood but it is not a macaw is not wrong if the ancestress is not praetorian. sent7: there exists something such that it does even 'hood. sent8: the ancestress is not praetorian if something that is a kind of a Angolan is a Dreiser. sent9: there exists something such that it is a macaw. sent10: if the icicle is not a kind of a Dreiser the vinaigrette is a macaw but it does not even 'hood. sent11: the vinaigrette is a kind of a Dreiser.
sent2 & sent11 -> int1: the vinaigrette is a Angolan and it is a Dreiser.; int1 -> int2: something is a kind of a Angolan and it is a Dreiser.; int2 & sent8 -> int3: the ancestress is not praetorian.; int3 & sent6 -> hypothesis;
$hypothesis$ = that the icicle evens 'hood but it is not a kind of a macaw is incorrect. ; $context$ = sent1: if something is both a macaw and praetorian then that the icicle is not a kind of a Dreiser is right. sent2: the vinaigrette is Angolan. sent3: the vinaigrette evens 'hood. sent4: the vinaigrette is multilateral but it does not outshout vinaigrette. sent5: that the chain-smoker is a kind of a Germanist and evens 'hood is true. sent6: that the icicle evens 'hood but it is not a macaw is not wrong if the ancestress is not praetorian. sent7: there exists something such that it does even 'hood. sent8: the ancestress is not praetorian if something that is a kind of a Angolan is a Dreiser. sent9: there exists something such that it is a macaw. sent10: if the icicle is not a kind of a Dreiser the vinaigrette is a macaw but it does not even 'hood. sent11: the vinaigrette is a kind of a Dreiser. ; $proof$ = 
sent2 & sent11 -> int1: the vinaigrette is a Angolan and it is a Dreiser.; int1 -> int2: something is a kind of a Angolan and it is a Dreiser.; int2 & sent8 -> int3: the ancestress is not praetorian.; int3 & sent6 -> hypothesis; __DISPROVED__