「この接合体は後ろめたい」ということは成り立つ
fact1: もし仮にあの脳機能イメージング研究がむさくるしいとしたらあの因縁論はむさくるしい fact2: 「この接合体は訝しくない」ということは事実だ fact3: この接合体は合併し易いということはない fact4: あの啓蒙は浮かれ騒ぐということはない fact5: 見え難くないしさらに訝しいということはない物は後ろめたいということはない fact6: ある物がびくつかないしその上見え難くないならば「憶念する」ということは本当だ fact7: その菓子折は訝しくない fact8: もし仮に「浮かれ騒ぐということはない」物があるならばあの脳機能イメージング研究はむさくるしいししかも英語学習だ fact9: もし何らかのものが訝しいとすると後ろめたくない fact10: この接合体は見え難くない fact11: もし仮にあの因縁論がむさくるしいならそれは訝しい
fact10 & fact2 -> int1: この接合体は見え難くないしまたそれは訝しくない; fact5 -> int2: この接合体は見え難いということはないしまた訝しくないならば「それは後ろめたい」ということは本当だ; int1 & int2 -> hypothesis;
fact10 & fact2 -> int1: (¬{A}{a} & ¬{B}{a}); fact5 -> int2: (¬{A}{a} & ¬{B}{a}) -> {C}{a}; int1 & int2 -> hypothesis;
もし仮にその躓きがびくつかなくてしかもそれは見え難くないとすれば「それは憶念する」ということは正しい
fact12 -> hypothesis;
$facts$ = fact1: もし仮にあの脳機能イメージング研究がむさくるしいとしたらあの因縁論はむさくるしい fact2: 「この接合体は訝しくない」ということは事実だ fact3: この接合体は合併し易いということはない fact4: あの啓蒙は浮かれ騒ぐということはない fact5: 見え難くないしさらに訝しいということはない物は後ろめたいということはない fact6: ある物がびくつかないしその上見え難くないならば「憶念する」ということは本当だ fact7: その菓子折は訝しくない fact8: もし仮に「浮かれ騒ぐということはない」物があるならばあの脳機能イメージング研究はむさくるしいししかも英語学習だ fact9: もし何らかのものが訝しいとすると後ろめたくない fact10: この接合体は見え難くない fact11: もし仮にあの因縁論がむさくるしいならそれは訝しい ; $hypothesis$ = 「この接合体は後ろめたい」ということは成り立つ ; $proof$ = 
fact10 & fact2 -> int1: この接合体は見え難くないしまたそれは訝しくない; fact5 -> int2: この接合体は見え難いということはないしまた訝しくないならば「それは後ろめたい」ということは本当だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にあの脳機能イメージング研究がむさくるしいとしたらあの因縁論はむさくるしい
事実2: 「この接合体は訝しくない」ということは事実だ
事実3: この接合体は合併し易いということはない
事実4: あの啓蒙は浮かれ騒ぐということはない
事実5: 見え難くないしさらに訝しいということはない物は後ろめたいということはない
事実6: ある物がびくつかないしその上見え難くないならば「憶念する」ということは本当だ
事実7: その菓子折は訝しくない
事実8: もし仮に「浮かれ騒ぐということはない」物があるならばあの脳機能イメージング研究はむさくるしいししかも英語学習だ
事実9: もし何らかのものが訝しいとすると後ろめたくない
事実10: この接合体は見え難くない
事実11: もし仮にあの因縁論がむさくるしいならそれは訝しい

仮説: 「この接合体は後ろめたい」ということは成り立つ
1. 事実10と事実2から、推論1: "この接合体は見え難くないしまたそれは訝しくない"が導かれる
2. 事実5から、推論2: "この接合体は見え難いということはないしまた訝しくないならば「それは後ろめたい」ということは本当だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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