その京大本は聞き出さない
fact1: この認証申請は剔出するということはない fact2: もしも「「余暇社会であるということはなくて返り掛ける」ということは事実と異なる」ものはあるとしたら「その上の句は返り掛けない」ということは本当だ fact3: そのペン型注射器は供給するということはない fact4: 仮にそのペン型注射器が僻みっぽくないとするとそれは返り掛けるしそれは走り抜ける fact5: 余暇社会は聞き出す fact6: あの変更作業は供給するということはない fact7: もし「あの変更作業は剔出する」ということは正しいならばあのペン型注射器は供給する一方で剔出しない fact8: もしそのペン型注射器は剔出しないとしたら「この認証申請は僻みっぽいがしかし走り抜けるということはない」ということは偽である fact9: そのペン型注射器は余暇社会でない fact10: そのペン型注射器が走り抜けるということはないならばそれは剔出する fact11: もしもあるものが供給するということはないけれどそつ無いならば糞尿である fact12: そのペン型注射器が剔出しないならばそれはそつ無い fact13: 「仮に余暇社会は剔出すれば「それは聞き出さない」ということは確かだ」ということは事実である fact14: あの変更作業は走り抜けないならば「この認証申請はそつ無いがそれは剔出しない」ということは嘘だ fact15: すべてのものは供給しないけどそつ無い fact16: 「その京大本は浪費するがそれは湿気易くない」ということは成り立たない fact17: すべては情け深い fact18: この認証申請は返り掛けない fact19: もし仮にその京大本は余暇社会でないとしたらそれは剔出する fact20: 「仮に「なにかは剔出するがしかしそれは走り抜けない」ということは嘘であるとしたらそれは剔出しない」ということは正しい fact21: 「この認証申請は僻みっぽいけれどそれは走り抜けない」ということは成り立つということはないとすればあの変更作業は糞尿でない fact22: もし「その京大本は剔出する」ということは本当ならば「そのペン型注射器は返り掛けるが剔出するということはない」ということは成り立つ fact23: 「その京大本は聞き出す一方で引き締まらない」ということは本当でない
void -> assump1: 以下のように仮定する。その京大本は余暇社会でない; fact19 & assump1 -> int1: 「その京大本は剔出する」ということは誤りでない; int1 & fact22 -> int2: そのペン型注射器は返り掛けるけどそれは剔出しない; int2 -> int3: そのペン型注射器は剔出するということはない; int3 & fact8 -> int4: 「この認証申請は僻みっぽいが走り抜けない」ということは成り立たない; int4 & fact21 -> int5: あの変更作業は糞尿でない; fact15 -> int6: あの変更作業は供給しないけどそつ無い; fact11 -> int7: あの変更作業が供給しないけどそれがそつ無いとしたらそれは糞尿だ; int6 & int7 -> int8: あの変更作業は糞尿だ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その京大本は余暇社会だ; fact5 -> int11: もし仮にその京大本は余暇社会だとすれば「それは聞き出す」ということは事実である; int10 & int11 -> hypothesis;
その上の句は返り掛けない
fact25 -> int12: 「その京大本は剔出するがそれは走り抜けない」ということは嘘だとするとそれは剔出しない;
$facts$ = fact1: この認証申請は剔出するということはない fact2: もしも「「余暇社会であるということはなくて返り掛ける」ということは事実と異なる」ものはあるとしたら「その上の句は返り掛けない」ということは本当だ fact3: そのペン型注射器は供給するということはない fact4: 仮にそのペン型注射器が僻みっぽくないとするとそれは返り掛けるしそれは走り抜ける fact5: 余暇社会は聞き出す fact6: あの変更作業は供給するということはない fact7: もし「あの変更作業は剔出する」ということは正しいならばあのペン型注射器は供給する一方で剔出しない fact8: もしそのペン型注射器は剔出しないとしたら「この認証申請は僻みっぽいがしかし走り抜けるということはない」ということは偽である fact9: そのペン型注射器は余暇社会でない fact10: そのペン型注射器が走り抜けるということはないならばそれは剔出する fact11: もしもあるものが供給するということはないけれどそつ無いならば糞尿である fact12: そのペン型注射器が剔出しないならばそれはそつ無い fact13: 「仮に余暇社会は剔出すれば「それは聞き出さない」ということは確かだ」ということは事実である fact14: あの変更作業は走り抜けないならば「この認証申請はそつ無いがそれは剔出しない」ということは嘘だ fact15: すべてのものは供給しないけどそつ無い fact16: 「その京大本は浪費するがそれは湿気易くない」ということは成り立たない fact17: すべては情け深い fact18: この認証申請は返り掛けない fact19: もし仮にその京大本は余暇社会でないとしたらそれは剔出する fact20: 「仮に「なにかは剔出するがしかしそれは走り抜けない」ということは嘘であるとしたらそれは剔出しない」ということは正しい fact21: 「この認証申請は僻みっぽいけれどそれは走り抜けない」ということは成り立つということはないとすればあの変更作業は糞尿でない fact22: もし「その京大本は剔出する」ということは本当ならば「そのペン型注射器は返り掛けるが剔出するということはない」ということは成り立つ fact23: 「その京大本は聞き出す一方で引き締まらない」ということは本当でない ; $hypothesis$ = その京大本は聞き出さない ; $proof$ = 
void -> assump1: 以下のように仮定する。その京大本は余暇社会でない; fact19 & assump1 -> int1: 「その京大本は剔出する」ということは誤りでない; int1 & fact22 -> int2: そのペン型注射器は返り掛けるけどそれは剔出しない; int2 -> int3: そのペン型注射器は剔出するということはない; int3 & fact8 -> int4: 「この認証申請は僻みっぽいが走り抜けない」ということは成り立たない; int4 & fact21 -> int5: あの変更作業は糞尿でない; fact15 -> int6: あの変更作業は供給しないけどそつ無い; fact11 -> int7: あの変更作業が供給しないけどそれがそつ無いとしたらそれは糞尿だ; int6 & int7 -> int8: あの変更作業は糞尿だ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その京大本は余暇社会だ; fact5 -> int11: もし仮にその京大本は余暇社会だとすれば「それは聞き出す」ということは事実である; int10 & int11 -> hypothesis; __DISPROVED__
事実1: この認証申請は剔出するということはない
事実2: もしも「「余暇社会であるということはなくて返り掛ける」ということは事実と異なる」ものはあるとしたら「その上の句は返り掛けない」ということは本当だ
事実3: そのペン型注射器は供給するということはない
事実4: 仮にそのペン型注射器が僻みっぽくないとするとそれは返り掛けるしそれは走り抜ける
事実5: 余暇社会は聞き出す
事実6: あの変更作業は供給するということはない
事実7: もし「あの変更作業は剔出する」ということは正しいならばあのペン型注射器は供給する一方で剔出しない
事実8: もしそのペン型注射器は剔出しないとしたら「この認証申請は僻みっぽいがしかし走り抜けるということはない」ということは偽である
事実9: そのペン型注射器は余暇社会でない
事実10: そのペン型注射器が走り抜けるということはないならばそれは剔出する
事実11: もしもあるものが供給するということはないけれどそつ無いならば糞尿である
事実12: そのペン型注射器が剔出しないならばそれはそつ無い
事実13: 「仮に余暇社会は剔出すれば「それは聞き出さない」ということは確かだ」ということは事実である
事実14: あの変更作業は走り抜けないならば「この認証申請はそつ無いがそれは剔出しない」ということは嘘だ
事実15: すべてのものは供給しないけどそつ無い
事実16: 「その京大本は浪費するがそれは湿気易くない」ということは成り立たない
事実17: すべては情け深い
事実18: この認証申請は返り掛けない
事実19: もし仮にその京大本は余暇社会でないとしたらそれは剔出する
事実20: 「仮に「なにかは剔出するがしかしそれは走り抜けない」ということは嘘であるとしたらそれは剔出しない」ということは正しい
事実21: 「この認証申請は僻みっぽいけれどそれは走り抜けない」ということは成り立つということはないとすればあの変更作業は糞尿でない
事実22: もし「その京大本は剔出する」ということは本当ならば「そのペン型注射器は返り掛けるが剔出するということはない」ということは成り立つ
事実23: 「その京大本は聞き出す一方で引き締まらない」ということは本当でない

仮説: その京大本は聞き出さない
1. 仮定1: 以下のように仮定する。その京大本は余暇社会でない
2. 事実19と仮定1から、推論1: "「その京大本は剔出する」ということは誤りでない"が導かれる
3. 推論1と事実22から、推論2: "そのペン型注射器は返り掛けるけどそれは剔出しない"が導かれる
4. 推論2から、推論3: "そのペン型注射器は剔出するということはない"が導かれる
5. 推論3と事実8から、推論4: "「この認証申請は僻みっぽいが走り抜けない」ということは成り立たない"が導かれる
6. 推論4と事実21から、推論5: "あの変更作業は糞尿でない"が導かれる
7. 事実15から、推論6: "あの変更作業は供給しないけどそつ無い"が導かれる
8. 事実11から、推論7: "あの変更作業が供給しないけどそれがそつ無いとしたらそれは糞尿だ"が導かれる
9. 推論6と推論7から、推論8: "あの変更作業は糞尿だ"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その京大本は余暇社会だ"が導かれる
12. 事実5から、推論11: "もし仮にその京大本は余暇社会だとすれば「それは聞き出す」ということは事実である"が導かれる
13. 推論10と推論11から、仮説が否定される

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