あの大学ノートは緩み易い
fact1: 仮にその独りは装填しないならば「それは塗り易いしおまけにそれは気安い」ということは成り立たない fact2: その独りは装填するということはない fact3: 仮に「その独りは元来たる」ということは事実と異なるということはないとしたらあの大学ノートは装填する fact4: もしも「その独りは塗り易くておまけに気安い」ということは真実でないとしたらあの大学ノートは緩み易くない fact5: もしその独りが緩み易いとすればこの御国は緩み易いということはない fact6: あの会計システムは装填するということはない fact7: もし「あの大学ノートは浮き易くなくて禁固でない」ということは間違っているとすると「その独りは元来たる」ということは事実である fact8: もしも何らかの物が緩み易くないとすればそれが装填するしその上それは塗り易くない fact9: もし仮にとあるものがボディー要素であるかまたは居宅療養管理指導であるならばそれは発症し易くない fact10: もし仮に「とある物は元来たる」ということは間違っていないとしたら「それは緩み易い」ということは成り立つ fact11: あの大学ノートは発症し易くないとするとそれは近侍しない fact12: 「仮に何かは近侍しないとすれば「浮き易くないしかつ禁固でない」ということは事実と異なる」ということは本当である
fact1 & fact2 -> int1: 「その独りは塗り易いし更に気安い」ということは偽だ; int1 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact4 -> hypothesis;
あの大学ノートは緩み易い
$facts$ = fact1: 仮にその独りは装填しないならば「それは塗り易いしおまけにそれは気安い」ということは成り立たない fact2: その独りは装填するということはない fact3: 仮に「その独りは元来たる」ということは事実と異なるということはないとしたらあの大学ノートは装填する fact4: もしも「その独りは塗り易くておまけに気安い」ということは真実でないとしたらあの大学ノートは緩み易くない fact5: もしその独りが緩み易いとすればこの御国は緩み易いということはない fact6: あの会計システムは装填するということはない fact7: もし「あの大学ノートは浮き易くなくて禁固でない」ということは間違っているとすると「その独りは元来たる」ということは事実である fact8: もしも何らかの物が緩み易くないとすればそれが装填するしその上それは塗り易くない fact9: もし仮にとあるものがボディー要素であるかまたは居宅療養管理指導であるならばそれは発症し易くない fact10: もし仮に「とある物は元来たる」ということは間違っていないとしたら「それは緩み易い」ということは成り立つ fact11: あの大学ノートは発症し易くないとするとそれは近侍しない fact12: 「仮に何かは近侍しないとすれば「浮き易くないしかつ禁固でない」ということは事実と異なる」ということは本当である ; $hypothesis$ = あの大学ノートは緩み易い ; $proof$ = 
fact1 & fact2 -> int1: 「その独りは塗り易いし更に気安い」ということは偽だ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にその独りは装填しないならば「それは塗り易いしおまけにそれは気安い」ということは成り立たない
事実2: その独りは装填するということはない
事実3: 仮に「その独りは元来たる」ということは事実と異なるということはないとしたらあの大学ノートは装填する
事実4: もしも「その独りは塗り易くておまけに気安い」ということは真実でないとしたらあの大学ノートは緩み易くない
事実5: もしその独りが緩み易いとすればこの御国は緩み易いということはない
事実6: あの会計システムは装填するということはない
事実7: もし「あの大学ノートは浮き易くなくて禁固でない」ということは間違っているとすると「その独りは元来たる」ということは事実である
事実8: もしも何らかの物が緩み易くないとすればそれが装填するしその上それは塗り易くない
事実9: もし仮にとあるものがボディー要素であるかまたは居宅療養管理指導であるならばそれは発症し易くない
事実10: もし仮に「とある物は元来たる」ということは間違っていないとしたら「それは緩み易い」ということは成り立つ
事実11: あの大学ノートは発症し易くないとするとそれは近侍しない
事実12: 「仮に何かは近侍しないとすれば「浮き易くないしかつ禁固でない」ということは事実と異なる」ということは本当である

仮説: あの大学ノートは緩み易い
1. 事実1と事実2から、推論1: "「その独りは塗り易いし更に気安い」ということは偽だ"が導かれる
2. 推論1と事実4から、仮説が否定される

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