the fact that the fact that the Ponstel is not a kind of a hawkmoth and it does not free does not hold if the aardwolf does not irradiate Balaenidae is wrong.
sent1: that something is not a satinwood is not false if it does not irradiate Balaenidae. sent2: the aardwolf is a satinwood and it is a D if the agamid is not a satinwood. sent3: the agamid is a satinwood and it is a D if the aardwolf is not a satinwood. sent4: if the agamid does lexicalize Stilwell then the fact that the Ponstel is not a hawkmoth and not a freesia is not right. sent5: something lexicalizes Stilwell if it is a D. sent6: the fact that the Ponstel is not a kind of a hawkmoth is correct if the fact that it does not irradiate Balaenidae is not wrong. sent7: the game is a satinwood that is a cocotte.
sent1 -> int1: if the aardwolf does not irradiate Balaenidae then it is not a satinwood.; void -> assump1: Let's assume that the fact that the aardwolf does not irradiate Balaenidae hold.; int1 & assump1 -> int2: the aardwolf is not a kind of a satinwood.; int2 & sent3 -> int3: the agamid is a satinwood and it is a kind of a D.; int3 -> int4: the agamid is a kind of a D.; sent5 -> int5: the agamid lexicalizes Stilwell if it is a D.; int4 & int5 -> int6: the agamid lexicalizes Stilwell.; int6 & sent4 -> int7: the fact that the Ponstel is not a hawkmoth and not freesia does not hold.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the fact that the Ponstel is not a kind of a hawkmoth and it does not free does not hold if the aardwolf does not irradiate Balaenidae is wrong. ; $context$ = sent1: that something is not a satinwood is not false if it does not irradiate Balaenidae. sent2: the aardwolf is a satinwood and it is a D if the agamid is not a satinwood. sent3: the agamid is a satinwood and it is a D if the aardwolf is not a satinwood. sent4: if the agamid does lexicalize Stilwell then the fact that the Ponstel is not a hawkmoth and not a freesia is not right. sent5: something lexicalizes Stilwell if it is a D. sent6: the fact that the Ponstel is not a kind of a hawkmoth is correct if the fact that it does not irradiate Balaenidae is not wrong. sent7: the game is a satinwood that is a cocotte. ; $proof$ = 
sent1 -> int1: if the aardwolf does not irradiate Balaenidae then it is not a satinwood.; void -> assump1: Let's assume that the fact that the aardwolf does not irradiate Balaenidae hold.; int1 & assump1 -> int2: the aardwolf is not a kind of a satinwood.; int2 & sent3 -> int3: the agamid is a satinwood and it is a kind of a D.; int3 -> int4: the agamid is a kind of a D.; sent5 -> int5: the agamid lexicalizes Stilwell if it is a D.; int4 & int5 -> int6: the agamid lexicalizes Stilwell.; int6 & sent4 -> int7: the fact that the Ponstel is not a hawkmoth and not freesia does not hold.; [assump1] & int7 -> hypothesis; __DISPROVED__