the fact that if the friedcake is a kind of the Platanistidae then the friedcake does lather is false.
sent1: if the friedcake is not plain it is not a lather. sent2: something is not a Platanistidae if it is not a lather. sent3: the trumpetwood is not a Platanistidae. sent4: the ebony does lather. sent5: if something does not culture noose then the fact that it is not somatosensory is not false. sent6: if the friedcake is a tabletop it does not culture light. sent7: the friedcake is not a sauce-alone if it is a kind of a Platanistidae. sent8: the friedcake is not low-tension. sent9: something does not color tolbutamide if it does not index ebony. sent10: if something is not a kind of a lather then it is a kind of a Platanistidae. sent11: the friedcake is a kind of a Platanistidae if that it is not a lather is not wrong. sent12: the friedcake is not a laparocele.
sent2 -> int1: if the fact that the friedcake is not a lather is not wrong it is not a Platanistidae.; void -> assump2: Let's assume that the friedcake does not lather.; int1 & assump2 -> int2: the friedcake is not a kind of a Platanistidae.; void -> assump1: Let's assume that the friedcake is a kind of a Platanistidae.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the friedcake is a lather.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the friedcake is a kind of the Platanistidae then the friedcake does lather is false. ; $context$ = sent1: if the friedcake is not plain it is not a lather. sent2: something is not a Platanistidae if it is not a lather. sent3: the trumpetwood is not a Platanistidae. sent4: the ebony does lather. sent5: if something does not culture noose then the fact that it is not somatosensory is not false. sent6: if the friedcake is a tabletop it does not culture light. sent7: the friedcake is not a sauce-alone if it is a kind of a Platanistidae. sent8: the friedcake is not low-tension. sent9: something does not color tolbutamide if it does not index ebony. sent10: if something is not a kind of a lather then it is a kind of a Platanistidae. sent11: the friedcake is a kind of a Platanistidae if that it is not a lather is not wrong. sent12: the friedcake is not a laparocele. ; $proof$ = 
sent2 -> int1: if the fact that the friedcake is not a lather is not wrong it is not a Platanistidae.; void -> assump2: Let's assume that the friedcake does not lather.; int1 & assump2 -> int2: the friedcake is not a kind of a Platanistidae.; void -> assump1: Let's assume that the friedcake is a kind of a Platanistidae.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the friedcake is a lather.; [assump1] & int4 -> hypothesis; __DISPROVED__