that that the cape is a kind of a Pipilo and is abdominovesical is true is false.
sent1: the cape is abdominovesical. sent2: the saturniid is away if it does heel dockyard. sent3: the fact that the rainmaker is away and/or it is not retinal is not true if the saturniid is away. sent4: the fact that the Anasazi heels dockyard hold. sent5: if the Anasazi is not caesural the cape is a Pipilo. sent6: the saturniid is a kind of a Pipilo. sent7: the rainmaker is away and/or is not retinal. sent8: that something is not retinal but it is away does not hold if it is a Pipilo. sent9: if something does not heel dockyard that it is caesural and it is not abdominovesical is wrong. sent10: if the Anasazi is caesural then that the saturniid heels dockyard hold.
void -> assump1: Let's assume that the Anasazi is caesural.; sent10 & assump1 -> int1: the saturniid does heel dockyard.; int1 & sent2 -> int2: the saturniid is away.; int2 & sent3 -> int3: the fact that the rainmaker is away and/or is not retinal is not true.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Anasazi is non-caesural.; int5 & sent5 -> int6: the cape is a kind of a Pipilo.; int6 & sent1 -> hypothesis;
the rainmaker is abdominovesical.
sent9 -> int7: the fact that the fact that the Anasazi is caesural and is not abdominovesical is incorrect if the Anasazi does not heel dockyard is not wrong.; sent8 -> int8: if the saturniid is a Pipilo then the fact that it is non-retinal thing that is away is wrong.; int8 & sent6 -> int9: that the saturniid is not retinal but it is away is wrong.; int9 -> int10: there is something such that that it is both not retinal and away does not hold.;
$hypothesis$ = that that the cape is a kind of a Pipilo and is abdominovesical is true is false. ; $context$ = sent1: the cape is abdominovesical. sent2: the saturniid is away if it does heel dockyard. sent3: the fact that the rainmaker is away and/or it is not retinal is not true if the saturniid is away. sent4: the fact that the Anasazi heels dockyard hold. sent5: if the Anasazi is not caesural the cape is a Pipilo. sent6: the saturniid is a kind of a Pipilo. sent7: the rainmaker is away and/or is not retinal. sent8: that something is not retinal but it is away does not hold if it is a Pipilo. sent9: if something does not heel dockyard that it is caesural and it is not abdominovesical is wrong. sent10: if the Anasazi is caesural then that the saturniid heels dockyard hold. ; $proof$ = 
void -> assump1: Let's assume that the Anasazi is caesural.; sent10 & assump1 -> int1: the saturniid does heel dockyard.; int1 & sent2 -> int2: the saturniid is away.; int2 & sent3 -> int3: the fact that the rainmaker is away and/or is not retinal is not true.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Anasazi is non-caesural.; int5 & sent5 -> int6: the cape is a kind of a Pipilo.; int6 & sent1 -> hypothesis; __DISPROVED__