この全軍隊は弾く
fact1: 何かは複合糖質だ fact2: もし「あるものは領得でなくてかつ専門科でない」ということは成り立たないならそれは専門科である fact3: もし「その通貨記号はおもろくない」ということは成り立つならばあの中・下はほろ苦くて低い fact4: その通貨記号が専門科であるとしたらこの全軍隊は弾くがしかし安堵し難いということはない fact5: 専門科は安堵し難いが与え難くない fact6: もしもこの全軍隊が安堵し難いならその通貨記号は弾く一方で専門科であるということはない fact7: もしも何かは複合糖質であるとすると「この全軍隊は零一二三吉祥寺であるしおもろい」ということは誤りだ fact8: この全軍隊は拭い難いけど太り始めない fact9: その猛虎は弾く fact10: もし仮になんらかの物はほろ苦いとしたら「領得でないし専門科でない」ということは成り立たない fact11: この全軍隊は事務負担でない fact12: その通貨記号は専門科である
fact4 & fact12 -> int1: この全軍隊は弾くけれど安堵し難いということはない; int1 -> hypothesis;
fact4 & fact12 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
その中・下は安堵し難いけど与え難いということはない
fact17 -> int2: もしその中・下が専門科なら安堵し難くてそれは与え難くない; fact18 -> int3: 仮に「その中・下は領得だということはないし専門科でない」ということは嘘であるならばそれは専門科である; fact13 -> int4: その中・下はほろ苦いとすると「それは領得でなくてかつそれは専門科でない」ということは誤りである; fact15 & fact16 -> int5: 「この全軍隊は零一二三吉祥寺だしその上おもろい」ということは成り立たない; int5 -> int6: 「「「零一二三吉祥寺であるしそれにおもろい」ということは本当だ」ということは偽な」ものはある;
$facts$ = fact1: 何かは複合糖質だ fact2: もし「あるものは領得でなくてかつ専門科でない」ということは成り立たないならそれは専門科である fact3: もし「その通貨記号はおもろくない」ということは成り立つならばあの中・下はほろ苦くて低い fact4: その通貨記号が専門科であるとしたらこの全軍隊は弾くがしかし安堵し難いということはない fact5: 専門科は安堵し難いが与え難くない fact6: もしもこの全軍隊が安堵し難いならその通貨記号は弾く一方で専門科であるということはない fact7: もしも何かは複合糖質であるとすると「この全軍隊は零一二三吉祥寺であるしおもろい」ということは誤りだ fact8: この全軍隊は拭い難いけど太り始めない fact9: その猛虎は弾く fact10: もし仮になんらかの物はほろ苦いとしたら「領得でないし専門科でない」ということは成り立たない fact11: この全軍隊は事務負担でない fact12: その通貨記号は専門科である ; $hypothesis$ = この全軍隊は弾く ; $proof$ = 
fact4 & fact12 -> int1: この全軍隊は弾くけれど安堵し難いということはない; int1 -> hypothesis; __PROVED__
事実1: 何かは複合糖質だ
事実2: もし「あるものは領得でなくてかつ専門科でない」ということは成り立たないならそれは専門科である
事実3: もし「その通貨記号はおもろくない」ということは成り立つならばあの中・下はほろ苦くて低い
事実4: その通貨記号が専門科であるとしたらこの全軍隊は弾くがしかし安堵し難いということはない
事実5: 専門科は安堵し難いが与え難くない
事実6: もしもこの全軍隊が安堵し難いならその通貨記号は弾く一方で専門科であるということはない
事実7: もしも何かは複合糖質であるとすると「この全軍隊は零一二三吉祥寺であるしおもろい」ということは誤りだ
事実8: この全軍隊は拭い難いけど太り始めない
事実9: その猛虎は弾く
事実10: もし仮になんらかの物はほろ苦いとしたら「領得でないし専門科でない」ということは成り立たない
事実11: この全軍隊は事務負担でない
事実12: その通貨記号は専門科である

仮説: この全軍隊は弾く
1. 事実4と事実12から、推論1: "この全軍隊は弾くけれど安堵し難いということはない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。