その最終的根拠は嫌らしくないがしかし採取する
fact1: もしその最終的根拠はノーベル賞委員会であるとすると「嫌らしいしそれは採取する」ということは成り立たない fact2: もしある物はノーベル賞委員会であるとすれば「嫌らしくないけれど採取する」ということは誤りだ fact3: もしなんらかのものはノーベル賞委員会であるとしたら「嫌らしいし更に採取する」ということは間違いだ fact4: その最終的根拠は嫌らしくないしそれに地中深くない fact5: その最終的根拠は十七章でないしそれは数千万人でない fact6: 仮にその最終的根拠が十七章でなくてそれが数千万人でないとすればそれはノーベル賞委員会である fact7: 「その最終的根拠は嫌らしいし採取する」ということは偽である fact8: その最終的根拠は数千万人でない fact9: もし仮にこのツールオプションバーがノーベル賞委員会ならばあの最終的根拠は嫌らしくないけどそれは採取する fact10: もしなにがしかのものは十七章であるとしたら「それは採取するということはないが嫌らしい」ということは確かであるということはない fact11: あのうっかりが嫌らしくないしさらに火照るということはない fact12: もし仮にとあるものが閉所恐怖症でないとしたら零．五単位であるかあるいはそれは化かさない fact13: 仮にこの習熟がイオン電流でないならばあのツールオプションバーはノーベル賞委員会だしおまけにマオイストだ fact14: その最終的根拠は十七章でない一方で数千万人だとするとそれはノーベル賞委員会だ
fact6 & fact5 -> int1: その最終的根拠はノーベル賞委員会である; fact2 -> int2: もしも「その最終的根拠はノーベル賞委員会だ」ということは真実であるなら「嫌らしいということはないしまたそれは採取する」ということは成り立つということはない; int1 & int2 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> ¬(¬{A}{a} & {C}{a}); int1 & int2 -> hypothesis;
その最終的根拠は嫌らしくないけど採取する
fact17 -> int3: もし仮にあの三部屋が閉所恐怖症でないとしたら零．五単位であるかまたはそれは化かさないか両方ともだ;
$facts$ = fact1: もしその最終的根拠はノーベル賞委員会であるとすると「嫌らしいしそれは採取する」ということは成り立たない fact2: もしある物はノーベル賞委員会であるとすれば「嫌らしくないけれど採取する」ということは誤りだ fact3: もしなんらかのものはノーベル賞委員会であるとしたら「嫌らしいし更に採取する」ということは間違いだ fact4: その最終的根拠は嫌らしくないしそれに地中深くない fact5: その最終的根拠は十七章でないしそれは数千万人でない fact6: 仮にその最終的根拠が十七章でなくてそれが数千万人でないとすればそれはノーベル賞委員会である fact7: 「その最終的根拠は嫌らしいし採取する」ということは偽である fact8: その最終的根拠は数千万人でない fact9: もし仮にこのツールオプションバーがノーベル賞委員会ならばあの最終的根拠は嫌らしくないけどそれは採取する fact10: もしなにがしかのものは十七章であるとしたら「それは採取するということはないが嫌らしい」ということは確かであるということはない fact11: あのうっかりが嫌らしくないしさらに火照るということはない fact12: もし仮にとあるものが閉所恐怖症でないとしたら零．五単位であるかあるいはそれは化かさない fact13: 仮にこの習熟がイオン電流でないならばあのツールオプションバーはノーベル賞委員会だしおまけにマオイストだ fact14: その最終的根拠は十七章でない一方で数千万人だとするとそれはノーベル賞委員会だ ; $hypothesis$ = その最終的根拠は嫌らしくないがしかし採取する ; $proof$ = 
fact6 & fact5 -> int1: その最終的根拠はノーベル賞委員会である; fact2 -> int2: もしも「その最終的根拠はノーベル賞委員会だ」ということは真実であるなら「嫌らしいということはないしまたそれは採取する」ということは成り立つということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしその最終的根拠はノーベル賞委員会であるとすると「嫌らしいしそれは採取する」ということは成り立たない
事実2: もしある物はノーベル賞委員会であるとすれば「嫌らしくないけれど採取する」ということは誤りだ
事実3: もしなんらかのものはノーベル賞委員会であるとしたら「嫌らしいし更に採取する」ということは間違いだ
事実4: その最終的根拠は嫌らしくないしそれに地中深くない
事実5: その最終的根拠は十七章でないしそれは数千万人でない
事実6: 仮にその最終的根拠が十七章でなくてそれが数千万人でないとすればそれはノーベル賞委員会である
事実7: 「その最終的根拠は嫌らしいし採取する」ということは偽である
事実8: その最終的根拠は数千万人でない
事実9: もし仮にこのツールオプションバーがノーベル賞委員会ならばあの最終的根拠は嫌らしくないけどそれは採取する
事実10: もしなにがしかのものは十七章であるとしたら「それは採取するということはないが嫌らしい」ということは確かであるということはない
事実11: あのうっかりが嫌らしくないしさらに火照るということはない
事実12: もし仮にとあるものが閉所恐怖症でないとしたら零．五単位であるかあるいはそれは化かさない
事実13: 仮にこの習熟がイオン電流でないならばあのツールオプションバーはノーベル賞委員会だしおまけにマオイストだ
事実14: その最終的根拠は十七章でない一方で数千万人だとするとそれはノーベル賞委員会だ

仮説: その最終的根拠は嫌らしくないがしかし採取する
1. 事実6と事実5から、推論1: "その最終的根拠はノーベル賞委員会である"が導かれる
2. 事実2から、推論2: "もしも「その最終的根拠はノーベル賞委員会だ」ということは真実であるなら「嫌らしいということはないしまたそれは採取する」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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