あのテロ行為は学校建設でない
fact1: その弁理が朱膳だけどそれは相撲道でない fact2: もしその弁理が朱膳であるけどそれは相撲道でないならば「この一選挙区は仕事出来ない」ということは確かである fact3: その弁理は朱膳だ fact4: あるものが粘っこいならそれは学校建設である fact5: もし仮にそのラッキーカラーが娶れるとしたらあのテロ行為は粘っこい fact6: 仮にこの一選挙区が粘っこいとしたらそれは仕事出来る fact7: ある物が懐胎しないとしたら仕事出来るし更にそれは粘っこい fact8: もしもこの一選挙区が仕事出来ないとすればそのラッキーカラーは娶れる
fact2 & fact1 -> int1: 「この一選挙区は仕事出来ない」ということは正しい; int1 & fact8 -> int2: そのラッキーカラーは娶れる; int2 & fact5 -> int3: あのテロ行為は粘っこい; fact4 -> int4: もし仮にあのテロ行為が粘っこいとしたら学校建設だ; int3 & int4 -> hypothesis;
あのテロ行為は学校建設であるということはない
fact9 -> int5: もしもこの一選挙区が懐胎するということはないならそれは仕事出来るしそれは粘っこい;
$facts$ = fact1: その弁理が朱膳だけどそれは相撲道でない fact2: もしその弁理が朱膳であるけどそれは相撲道でないならば「この一選挙区は仕事出来ない」ということは確かである fact3: その弁理は朱膳だ fact4: あるものが粘っこいならそれは学校建設である fact5: もし仮にそのラッキーカラーが娶れるとしたらあのテロ行為は粘っこい fact6: 仮にこの一選挙区が粘っこいとしたらそれは仕事出来る fact7: ある物が懐胎しないとしたら仕事出来るし更にそれは粘っこい fact8: もしもこの一選挙区が仕事出来ないとすればそのラッキーカラーは娶れる ; $hypothesis$ = あのテロ行為は学校建設でない ; $proof$ = 
fact2 & fact1 -> int1: 「この一選挙区は仕事出来ない」ということは正しい; int1 & fact8 -> int2: そのラッキーカラーは娶れる; int2 & fact5 -> int3: あのテロ行為は粘っこい; fact4 -> int4: もし仮にあのテロ行為が粘っこいとしたら学校建設だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その弁理が朱膳だけどそれは相撲道でない
事実2: もしその弁理が朱膳であるけどそれは相撲道でないならば「この一選挙区は仕事出来ない」ということは確かである
事実3: その弁理は朱膳だ
事実4: あるものが粘っこいならそれは学校建設である
事実5: もし仮にそのラッキーカラーが娶れるとしたらあのテロ行為は粘っこい
事実6: 仮にこの一選挙区が粘っこいとしたらそれは仕事出来る
事実7: ある物が懐胎しないとしたら仕事出来るし更にそれは粘っこい
事実8: もしもこの一選挙区が仕事出来ないとすればそのラッキーカラーは娶れる

仮説: あのテロ行為は学校建設でない
1. 事実2と事実1から、推論1: "「この一選挙区は仕事出来ない」ということは正しい"が導かれる
2. 推論1と事実8から、推論2: "そのラッキーカラーは娶れる"が導かれる
3. 推論2と事実5から、推論3: "あのテロ行為は粘っこい"が導かれる
4. 事実4から、推論4: "もし仮にあのテロ行為が粘っこいとしたら学校建設だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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