このアルコール飲料はレームでなくて生気付けない
fact1: 仮にそのがりは書き難くないものでありさらにジヒドロピリジン系カルシウム拮抗薬であるとすると雑事である fact2: このアルコール飲料はレームでない fact3: もしも「このアルコール飲料がジヒドロピリジン系カルシウム拮抗薬だしさらにそれは迷信深い」ということは事実と異なるとしたらそれは笑い出さない fact4: その性質は笑い出す fact5: 何かは迷信深くないならば「それは四十六例でしかもそれは明け放す」ということは嘘だ fact6: 迷信深くないものはレームでなくて加えて生気付けない fact7: 「このアルコール飲料はジヒドロピリジン系カルシウム拮抗薬であるしさらに迷信深い」ということは嘘だ fact8: 「その九十三便はレームであるということはない一方で返済出来る」ということは間違いだ fact9: もしもなんらかの物は厄介事でないけど物々しいとしたら引き上げる fact10: 仮にこのアルコール飲料がレームでないしそれが生気付けるということはないとすると笑い出す fact11: その性質は厄介事だということはないけど小賢しい fact12: もしもこのアルコール飲料が彼女らしいということはないけれどそれは刺し貫くとしたら「それは雑踏しない」ということは確かでない fact13: 仮にこのアルコール飲料が蠢かさないし突き砕かないとすればリハーサルである fact14: もしこのアルコール飲料がジヒドロピリジン系カルシウム拮抗薬ならこの三角巾は迷信深くなくてしかも笑い出さない fact15: その性質は物々しい fact16: なんらかのものが引き上げるとするとジヒドロピリジン系カルシウム拮抗薬だ
void -> assump1: 以下のように仮定する。このアルコール飲料はレームでないし加えて生気付けない; fact10 & assump1 -> int1: このアルコール飲料は笑い出す; fact7 & fact3 -> int2: このアルコール飲料は笑い出すということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact10 & assump1 -> int1: {B}{a}; fact7 & fact3 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「この三角巾は四十六例であるししかも明け放す」ということは偽である
fact18 -> int4: もしこの三角巾は迷信深いということはないとしたら「それは四十六例であるしさらに明け放す」ということは偽だ;
$facts$ = fact1: 仮にそのがりは書き難くないものでありさらにジヒドロピリジン系カルシウム拮抗薬であるとすると雑事である fact2: このアルコール飲料はレームでない fact3: もしも「このアルコール飲料がジヒドロピリジン系カルシウム拮抗薬だしさらにそれは迷信深い」ということは事実と異なるとしたらそれは笑い出さない fact4: その性質は笑い出す fact5: 何かは迷信深くないならば「それは四十六例でしかもそれは明け放す」ということは嘘だ fact6: 迷信深くないものはレームでなくて加えて生気付けない fact7: 「このアルコール飲料はジヒドロピリジン系カルシウム拮抗薬であるしさらに迷信深い」ということは嘘だ fact8: 「その九十三便はレームであるということはない一方で返済出来る」ということは間違いだ fact9: もしもなんらかの物は厄介事でないけど物々しいとしたら引き上げる fact10: 仮にこのアルコール飲料がレームでないしそれが生気付けるということはないとすると笑い出す fact11: その性質は厄介事だということはないけど小賢しい fact12: もしもこのアルコール飲料が彼女らしいということはないけれどそれは刺し貫くとしたら「それは雑踏しない」ということは確かでない fact13: 仮にこのアルコール飲料が蠢かさないし突き砕かないとすればリハーサルである fact14: もしこのアルコール飲料がジヒドロピリジン系カルシウム拮抗薬ならこの三角巾は迷信深くなくてしかも笑い出さない fact15: その性質は物々しい fact16: なんらかのものが引き上げるとするとジヒドロピリジン系カルシウム拮抗薬だ ; $hypothesis$ = このアルコール飲料はレームでなくて生気付けない ; $proof$ = 
void -> assump1: 以下のように仮定する。このアルコール飲料はレームでないし加えて生気付けない; fact10 & assump1 -> int1: このアルコール飲料は笑い出す; fact7 & fact3 -> int2: このアルコール飲料は笑い出すということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にそのがりは書き難くないものでありさらにジヒドロピリジン系カルシウム拮抗薬であるとすると雑事である
事実2: このアルコール飲料はレームでない
事実3: もしも「このアルコール飲料がジヒドロピリジン系カルシウム拮抗薬だしさらにそれは迷信深い」ということは事実と異なるとしたらそれは笑い出さない
事実4: その性質は笑い出す
事実5: 何かは迷信深くないならば「それは四十六例でしかもそれは明け放す」ということは嘘だ
事実6: 迷信深くないものはレームでなくて加えて生気付けない
事実7: 「このアルコール飲料はジヒドロピリジン系カルシウム拮抗薬であるしさらに迷信深い」ということは嘘だ
事実8: 「その九十三便はレームであるということはない一方で返済出来る」ということは間違いだ
事実9: もしもなんらかの物は厄介事でないけど物々しいとしたら引き上げる
事実10: 仮にこのアルコール飲料がレームでないしそれが生気付けるということはないとすると笑い出す
事実11: その性質は厄介事だということはないけど小賢しい
事実12: もしもこのアルコール飲料が彼女らしいということはないけれどそれは刺し貫くとしたら「それは雑踏しない」ということは確かでない
事実13: 仮にこのアルコール飲料が蠢かさないし突き砕かないとすればリハーサルである
事実14: もしこのアルコール飲料がジヒドロピリジン系カルシウム拮抗薬ならこの三角巾は迷信深くなくてしかも笑い出さない
事実15: その性質は物々しい
事実16: なんらかのものが引き上げるとするとジヒドロピリジン系カルシウム拮抗薬だ

仮説: このアルコール飲料はレームでなくて生気付けない
1. 仮定1: 以下のように仮定する。このアルコール飲料はレームでないし加えて生気付けない
2. 事実10と仮定1から、推論1: "このアルコール飲料は笑い出す"が導かれる
3. 事実7と事実3から、推論2: "このアルコール飲料は笑い出すということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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