あの一項参照は用うない
fact1: 「この丸印位置はとろい」ということは確かだ fact2: なにがしかの物は水田裏作でない fact3: 仮になにかは関連市場でないならばそれは住宅設計でない fact4: もしも「その綯い交ぜがぱりっとしないしさらに合えない」ということは間違っていればこのチョコは関連市場でない fact5: もしもなにかは厳しかないとすると「水田裏作でしかもそれは一文字湯口内耳鉄鍋でない」ということは成り立つということはない fact6: もし仮にこの丸印位置は物狂おしいしおまけに真川ならそれは動き回れるということはない fact7: もしも「このチョコは一文字湯口内耳鉄鍋でない」ということは本当であるとしたらあの一項参照は一文字湯口内耳鉄鍋でそれに用う fact8: 「水田裏作な」物はある fact9: もしもこの丸印位置はチューブであるなら「その綯い交ぜはぱりっとしないしおまけに合えるということはない」ということは成り立たない fact10: あの一項参照は一文字湯口内耳鉄鍋である fact11: もしこのチョコは住宅設計でないとしたら「あの一項参照は一生懸命であるがそれは憎み切らない」ということは成り立たない fact12: もしも「ある物は一生懸命であるがしかし憎み切らない」ということは本当でないとすればそれは厳しかない fact13: もしとあるものが動き回れるということはないとすればそれは街らしいしチューブである fact14: もしもこのチョコが一文字湯口内耳鉄鍋でないならばあの一項参照は一文字湯口内耳鉄鍋だ fact15: もしもこの丸印位置がとろいとしたら物狂おしい fact16: もし「「水田裏作でない」ということは本当な」物があるとすればこのチョコは一文字湯口内耳鉄鍋でない
fact2 & fact16 -> int1: このチョコは一文字湯口内耳鉄鍋でない; int1 & fact7 -> int2: あの一項参照は一文字湯口内耳鉄鍋で用う; int2 -> hypothesis;
あの一項参照は用うということはない
fact20 -> int3: もしもあの一項参照は厳しかないならば「それが水田裏作だしおまけにそれは一文字湯口内耳鉄鍋でない」ということは嘘だ; fact18 -> int4: もし「あの一項参照は一生懸命である一方で憎み切らない」ということは真実でないとしたら厳しいということはない; fact26 -> int5: もしもこのチョコは関連市場であるということはないとしたらそれは住宅設計でない; fact25 -> int6: 仮にこの丸印位置が動き回れるということはないとすれば街らしいし更にチューブだ; fact19 & fact22 -> int7: この丸印位置は物狂おしい;
$facts$ = fact1: 「この丸印位置はとろい」ということは確かだ fact2: なにがしかの物は水田裏作でない fact3: 仮になにかは関連市場でないならばそれは住宅設計でない fact4: もしも「その綯い交ぜがぱりっとしないしさらに合えない」ということは間違っていればこのチョコは関連市場でない fact5: もしもなにかは厳しかないとすると「水田裏作でしかもそれは一文字湯口内耳鉄鍋でない」ということは成り立つということはない fact6: もし仮にこの丸印位置は物狂おしいしおまけに真川ならそれは動き回れるということはない fact7: もしも「このチョコは一文字湯口内耳鉄鍋でない」ということは本当であるとしたらあの一項参照は一文字湯口内耳鉄鍋でそれに用う fact8: 「水田裏作な」物はある fact9: もしもこの丸印位置はチューブであるなら「その綯い交ぜはぱりっとしないしおまけに合えるということはない」ということは成り立たない fact10: あの一項参照は一文字湯口内耳鉄鍋である fact11: もしこのチョコは住宅設計でないとしたら「あの一項参照は一生懸命であるがそれは憎み切らない」ということは成り立たない fact12: もしも「ある物は一生懸命であるがしかし憎み切らない」ということは本当でないとすればそれは厳しかない fact13: もしとあるものが動き回れるということはないとすればそれは街らしいしチューブである fact14: もしもこのチョコが一文字湯口内耳鉄鍋でないならばあの一項参照は一文字湯口内耳鉄鍋だ fact15: もしもこの丸印位置がとろいとしたら物狂おしい fact16: もし「「水田裏作でない」ということは本当な」物があるとすればこのチョコは一文字湯口内耳鉄鍋でない ; $hypothesis$ = あの一項参照は用うない ; $proof$ = 
fact2 & fact16 -> int1: このチョコは一文字湯口内耳鉄鍋でない; int1 & fact7 -> int2: あの一項参照は一文字湯口内耳鉄鍋で用う; int2 -> hypothesis; __DISPROVED__
事実1: 「この丸印位置はとろい」ということは確かだ
事実2: なにがしかの物は水田裏作でない
事実3: 仮になにかは関連市場でないならばそれは住宅設計でない
事実4: もしも「その綯い交ぜがぱりっとしないしさらに合えない」ということは間違っていればこのチョコは関連市場でない
事実5: もしもなにかは厳しかないとすると「水田裏作でしかもそれは一文字湯口内耳鉄鍋でない」ということは成り立つということはない
事実6: もし仮にこの丸印位置は物狂おしいしおまけに真川ならそれは動き回れるということはない
事実7: もしも「このチョコは一文字湯口内耳鉄鍋でない」ということは本当であるとしたらあの一項参照は一文字湯口内耳鉄鍋でそれに用う
事実8: 「水田裏作な」物はある
事実9: もしもこの丸印位置はチューブであるなら「その綯い交ぜはぱりっとしないしおまけに合えるということはない」ということは成り立たない
事実10: あの一項参照は一文字湯口内耳鉄鍋である
事実11: もしこのチョコは住宅設計でないとしたら「あの一項参照は一生懸命であるがそれは憎み切らない」ということは成り立たない
事実12: もしも「ある物は一生懸命であるがしかし憎み切らない」ということは本当でないとすればそれは厳しかない
事実13: もしとあるものが動き回れるということはないとすればそれは街らしいしチューブである
事実14: もしもこのチョコが一文字湯口内耳鉄鍋でないならばあの一項参照は一文字湯口内耳鉄鍋だ
事実15: もしもこの丸印位置がとろいとしたら物狂おしい
事実16: もし「「水田裏作でない」ということは本当な」物があるとすればこのチョコは一文字湯口内耳鉄鍋でない

仮説: あの一項参照は用うない
1. 事実2と事実16から、推論1: "このチョコは一文字湯口内耳鉄鍋でない"が導かれる
2. 推論1と事実7から、推論2: "あの一項参照は一文字湯口内耳鉄鍋で用う"が導かれる
3. 推論2から、仮説が否定される

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