the lightning does result applicator.
sent1: that the aviatrix is not a cytotoxin and it does not wake deconstruction does not hold. sent2: if the fact that something is not a kind of a Cariama but it is a cytotoxin is not correct then it is not a kind of a counter. sent3: if the Laver does not counter the fact that the lightning does wake deconstruction is true. sent4: something results applicator if it does wake deconstruction. sent5: the fact that the Laver is not a kind of a cytotoxin but it wakes deconstruction is false. sent6: the lightning is not a kind of a cytotoxin if the Laver does not result applicator. sent7: if something does not result applicator then it is not a counter. sent8: that the edition does not reflect edition and is not unconscientious does not hold. sent9: the aviatrix does not wake deconstruction if that the Laver is not a cytotoxin and does not wake deconstruction is false. sent10: the fact that the Laver is not a cytotoxin and it does not wake deconstruction is incorrect. sent11: if something does not wake deconstruction then it is not a kind of a counter. sent12: the aviatrix does not wake deconstruction if the Laver does wake deconstruction. sent13: if the aviatrix is not a counter the lightning does not result applicator. sent14: the applicator does not wake deconstruction. sent15: the fact that the Laver is not a kind of a Cariama but it is a kind of a cytotoxin does not hold if it is not ergotropic. sent16: the Laver is not a kind of a cytotoxin and/or wakes deconstruction if the tangram is a Cariama. sent17: the fact that the aviatrix is not a counter and results applicator is not correct. sent18: something does result applicator if either it is not a cytotoxin or it does wake deconstruction or both.
sent11 -> int1: if the aviatrix does not wake deconstruction then it does not counter.; sent9 & sent10 -> int2: the aviatrix does not wake deconstruction.; int1 & int2 -> int3: the aviatrix does not counter.; int3 & sent13 -> hypothesis;
the fact that the lightning results applicator is correct.
sent4 -> int4: if the lightning does wake deconstruction then it results applicator.; sent2 -> int5: if the fact that the Laver is not a Cariama and is a kind of a cytotoxin is false it does not counter.;
$hypothesis$ = the lightning does result applicator. ; $context$ = sent1: that the aviatrix is not a cytotoxin and it does not wake deconstruction does not hold. sent2: if the fact that something is not a kind of a Cariama but it is a cytotoxin is not correct then it is not a kind of a counter. sent3: if the Laver does not counter the fact that the lightning does wake deconstruction is true. sent4: something results applicator if it does wake deconstruction. sent5: the fact that the Laver is not a kind of a cytotoxin but it wakes deconstruction is false. sent6: the lightning is not a kind of a cytotoxin if the Laver does not result applicator. sent7: if something does not result applicator then it is not a counter. sent8: that the edition does not reflect edition and is not unconscientious does not hold. sent9: the aviatrix does not wake deconstruction if that the Laver is not a cytotoxin and does not wake deconstruction is false. sent10: the fact that the Laver is not a cytotoxin and it does not wake deconstruction is incorrect. sent11: if something does not wake deconstruction then it is not a kind of a counter. sent12: the aviatrix does not wake deconstruction if the Laver does wake deconstruction. sent13: if the aviatrix is not a counter the lightning does not result applicator. sent14: the applicator does not wake deconstruction. sent15: the fact that the Laver is not a kind of a Cariama but it is a kind of a cytotoxin does not hold if it is not ergotropic. sent16: the Laver is not a kind of a cytotoxin and/or wakes deconstruction if the tangram is a Cariama. sent17: the fact that the aviatrix is not a counter and results applicator is not correct. sent18: something does result applicator if either it is not a cytotoxin or it does wake deconstruction or both. ; $proof$ = 
sent11 -> int1: if the aviatrix does not wake deconstruction then it does not counter.; sent9 & sent10 -> int2: the aviatrix does not wake deconstruction.; int1 & int2 -> int3: the aviatrix does not counter.; int3 & sent13 -> hypothesis; __DISPROVED__