「もしもその営業用が切り難いならその営業用は毀損する」ということは確かでない
fact1: もしもなにかは保持するならそれは毀損しないけれど分離し易い fact2: もしもその営業用が貰い受けないならばそれは出会わない fact3: その営業用が酒臭くないなら貰い受けるかまたはそれは分離し易いかまたは両方ともである fact4: 仮になんらかの物が貰い受けないならば出会わない fact5: その営業用は切り難くないとすれば「この対テロ戦争は屈折でないけどそれは説明し切れる」ということは成り立たない fact6: もしその分葱は貰い受けないとしたら「その営業用は酒臭いしおまけに切り難い」ということは嘘である fact7: その陸士は貰い受ける fact8: 「毀損しないけど分離し易い」物があるとしたらその分葱は貰い受けない fact9: その営業用は貰い受けるかまたはそれは分離し易い fact10: なんらかのものが移出しないとすればそれは流転する fact11: その営業用は屈折であるし更に説明し切れる fact12: なにがしかのものが毀損しないとするとそれは受け辛い fact13: 酒臭くない物は貰い受けるかあるいは分離し易いか両方だ fact14: 「「疾患でなくて煽りでない」ということは成り立たない」ものはある fact15: もしなんらかのものが貰い受けないかあるいは分離し易いか両方であるなら「それは出会わない」ということは成り立つ fact16: 仮になにかは説明し切れるし更に切り難いとすれば酒臭くない fact17: 「その営業用は屈折だ」ということは確かである fact18: もしなんらかの物は出会わないなら「それは毀損する」ということは成り立つ fact19: 酒臭くない物は貰い受けないかもしくは分離し易いか両方だ
fact11 -> int1: 「その営業用は説明し切れる」ということは確かである; void -> assump1: 以下のように仮定する。その営業用は切り難い; int1 & assump1 -> int2: その営業用は説明し切れるしそれは切り難い; fact16 -> int3: もしもその営業用は説明し切れるし切り難いならば「それは酒臭くない」ということは間違いでない; int2 & int3 -> int4: その営業用は酒臭くない; fact19 -> int5: 仮にその営業用が酒臭くないならば貰い受けないかそれは分離し易いかまたは両方である; int4 & int5 -> int6: その営業用は貰い受けないかあるいはそれは分離し易いかどちらもだ; fact15 -> int7: 仮にその営業用が貰い受けないかまたは分離し易いかまたはどちらもであるなら出会うということはない; int6 & int7 -> int8: その営業用は出会わない; fact18 -> int9: もし「その営業用は出会うということはない」ということは本当であるとすると「「それは毀損するということはない」ということは事実だ」ということは偽である; int8 & int9 -> int10: その営業用は毀損する; [assump1] & int10 -> hypothesis;
この対テロ戦争は出会わない
fact23 -> int11: もし「その力積は保持する」ということは事実であるならそれは毀損しないけど分離し易い;
$facts$ = fact1: もしもなにかは保持するならそれは毀損しないけれど分離し易い fact2: もしもその営業用が貰い受けないならばそれは出会わない fact3: その営業用が酒臭くないなら貰い受けるかまたはそれは分離し易いかまたは両方ともである fact4: 仮になんらかの物が貰い受けないならば出会わない fact5: その営業用は切り難くないとすれば「この対テロ戦争は屈折でないけどそれは説明し切れる」ということは成り立たない fact6: もしその分葱は貰い受けないとしたら「その営業用は酒臭いしおまけに切り難い」ということは嘘である fact7: その陸士は貰い受ける fact8: 「毀損しないけど分離し易い」物があるとしたらその分葱は貰い受けない fact9: その営業用は貰い受けるかまたはそれは分離し易い fact10: なんらかのものが移出しないとすればそれは流転する fact11: その営業用は屈折であるし更に説明し切れる fact12: なにがしかのものが毀損しないとするとそれは受け辛い fact13: 酒臭くない物は貰い受けるかあるいは分離し易いか両方だ fact14: 「「疾患でなくて煽りでない」ということは成り立たない」ものはある fact15: もしなんらかのものが貰い受けないかあるいは分離し易いか両方であるなら「それは出会わない」ということは成り立つ fact16: 仮になにかは説明し切れるし更に切り難いとすれば酒臭くない fact17: 「その営業用は屈折だ」ということは確かである fact18: もしなんらかの物は出会わないなら「それは毀損する」ということは成り立つ fact19: 酒臭くない物は貰い受けないかもしくは分離し易いか両方だ ; $hypothesis$ = 「もしもその営業用が切り難いならその営業用は毀損する」ということは確かでない ; $proof$ = 
fact11 -> int1: 「その営業用は説明し切れる」ということは確かである; void -> assump1: 以下のように仮定する。その営業用は切り難い; int1 & assump1 -> int2: その営業用は説明し切れるしそれは切り難い; fact16 -> int3: もしもその営業用は説明し切れるし切り難いならば「それは酒臭くない」ということは間違いでない; int2 & int3 -> int4: その営業用は酒臭くない; fact19 -> int5: 仮にその営業用が酒臭くないならば貰い受けないかそれは分離し易いかまたは両方である; int4 & int5 -> int6: その営業用は貰い受けないかあるいはそれは分離し易いかどちらもだ; fact15 -> int7: 仮にその営業用が貰い受けないかまたは分離し易いかまたはどちらもであるなら出会うということはない; int6 & int7 -> int8: その営業用は出会わない; fact18 -> int9: もし「その営業用は出会うということはない」ということは本当であるとすると「「それは毀損するということはない」ということは事実だ」ということは偽である; int8 & int9 -> int10: その営業用は毀損する; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もしもなにかは保持するならそれは毀損しないけれど分離し易い
事実2: もしもその営業用が貰い受けないならばそれは出会わない
事実3: その営業用が酒臭くないなら貰い受けるかまたはそれは分離し易いかまたは両方ともである
事実4: 仮になんらかの物が貰い受けないならば出会わない
事実5: その営業用は切り難くないとすれば「この対テロ戦争は屈折でないけどそれは説明し切れる」ということは成り立たない
事実6: もしその分葱は貰い受けないとしたら「その営業用は酒臭いしおまけに切り難い」ということは嘘である
事実7: その陸士は貰い受ける
事実8: 「毀損しないけど分離し易い」物があるとしたらその分葱は貰い受けない
事実9: その営業用は貰い受けるかまたはそれは分離し易い
事実10: なんらかのものが移出しないとすればそれは流転する
事実11: その営業用は屈折であるし更に説明し切れる
事実12: なにがしかのものが毀損しないとするとそれは受け辛い
事実13: 酒臭くない物は貰い受けるかあるいは分離し易いか両方だ
事実14: 「「疾患でなくて煽りでない」ということは成り立たない」ものはある
事実15: もしなんらかのものが貰い受けないかあるいは分離し易いか両方であるなら「それは出会わない」ということは成り立つ
事実16: 仮になにかは説明し切れるし更に切り難いとすれば酒臭くない
事実17: 「その営業用は屈折だ」ということは確かである
事実18: もしなんらかの物は出会わないなら「それは毀損する」ということは成り立つ
事実19: 酒臭くない物は貰い受けないかもしくは分離し易いか両方だ

仮説: 「もしもその営業用が切り難いならその営業用は毀損する」ということは確かでない
1. 事実11から、推論1: "「その営業用は説明し切れる」ということは確かである"が導かれる
2. 仮定1: 以下のように仮定する。その営業用は切り難い
3. 推論1と仮定1から、推論2: "その営業用は説明し切れるしそれは切り難い"が導かれる
4. 事実16から、推論3: "もしもその営業用は説明し切れるし切り難いならば「それは酒臭くない」ということは間違いでない"が導かれる
5. 推論2と推論3から、推論4: "その営業用は酒臭くない"が導かれる
6. 事実19から、推論5: "仮にその営業用が酒臭くないならば貰い受けないかそれは分離し易いかまたは両方である"が導かれる
7. 推論4と推論5から、推論6: "その営業用は貰い受けないかあるいはそれは分離し易いかどちらもだ"が導かれる
8. 事実15から、推論7: "仮にその営業用が貰い受けないかまたは分離し易いかまたはどちらもであるなら出会うということはない"が導かれる
9. 推論6と推論7から、推論8: "その営業用は出会わない"が導かれる
10. 事実18から、推論9: "もし「その営業用は出会うということはない」ということは本当であるとすると「「それは毀損するということはない」ということは事実だ」ということは偽である"が導かれる
11. 推論8と推論9から、推論10: "その営業用は毀損する"が導かれる
12. [仮定1]と推論10から、仮説が否定される

よって、仮説が否定されました。