「「施行後であるしかつ小狡い」ものはある」ということは真実でない
fact1: ある物は小狡くないなら「それは施行後でないが予選だ」ということは偽だ fact2: この誘致話は期待し難くないとすればそれは小狡くないけれど注視・追視する fact3: もしもこのリング部分が予選でないとするとあの製造計画は施行後であるしおまけに予選である fact4: あの製造計画は八路軍であるししかも踏み出す fact5: なにがしかの物は予選であるなら「「肉体労働者でないが入手術だ」ということは真実だ」ということは誤っている fact6: 「あの製造計画は期待し難くてまた注視・追視する」ということは偽である fact7: もし仮にあの二本分が動物性プランクトンでないとしたらこの誘致話は肉体労働者でないし入手術でない fact8: 仮にあるものは動物性プランクトンであるならば「肉体労働者でないがしかしホンスだ」ということは嘘だ fact9: 仮になんらかのものが動物性プランクトンなら肉体労働者である fact10: なにがしかの物は八路軍なら「それは期待し難くないがしかし注視・追視する」ということは事実でない fact11: 「動物性プランクトンな」物はある fact12: 「なにかは期待し難くないけど注視・追視する」ということは誤っていればそれは小狡い fact13: もしこの誘致話が肉体労働者でないし入手術でないとしたらこのリング部分は予選でない fact14: あの二本分は動物性プランクトンでない fact15: このリング部分は動物性プランクトンでない
fact7 & fact14 -> int1: この誘致話は肉体労働者でなくておまけに入手術でない; int1 & fact13 -> int2: このリング部分は予選でない; int2 & fact3 -> int3: あの製造計画は施行後であるしその上予選だ; int3 -> int4: あの製造計画は施行後だ; fact10 -> int5: あの製造計画は八路軍だとしたら「期待し難くないし加えてそれは注視・追視する」ということは偽だ; fact4 -> int6: あの製造計画は八路軍である; int5 & int6 -> int7: 「あの製造計画は期待し難くない一方で注視・追視する」ということは誤っている; fact12 -> int8: もし「「あの製造計画は期待し難くないけれどそれは注視・追視する」ということは真実だ」ということは間違いであるなら「小狡い」ということは本当である; int7 & int8 -> int9: あの製造計画は小狡い; int4 & int9 -> int10: あの製造計画が施行後だしその上それは小狡い; int10 -> hypothesis;
「あの二本分は肉体労働者でない一方でそれはホンスである」ということは成り立たない
fact18 -> int11: もしあの二本分は動物性プランクトンであるとすると「肉体労働者でないしホンスである」ということは成り立つということはない; fact17 -> int12: この誘致話は小狡くないとしたら「それは施行後でなくて予選だ」ということは成り立たない;
$facts$ = fact1: ある物は小狡くないなら「それは施行後でないが予選だ」ということは偽だ fact2: この誘致話は期待し難くないとすればそれは小狡くないけれど注視・追視する fact3: もしもこのリング部分が予選でないとするとあの製造計画は施行後であるしおまけに予選である fact4: あの製造計画は八路軍であるししかも踏み出す fact5: なにがしかの物は予選であるなら「「肉体労働者でないが入手術だ」ということは真実だ」ということは誤っている fact6: 「あの製造計画は期待し難くてまた注視・追視する」ということは偽である fact7: もし仮にあの二本分が動物性プランクトンでないとしたらこの誘致話は肉体労働者でないし入手術でない fact8: 仮にあるものは動物性プランクトンであるならば「肉体労働者でないがしかしホンスだ」ということは嘘だ fact9: 仮になんらかのものが動物性プランクトンなら肉体労働者である fact10: なにがしかの物は八路軍なら「それは期待し難くないがしかし注視・追視する」ということは事実でない fact11: 「動物性プランクトンな」物はある fact12: 「なにかは期待し難くないけど注視・追視する」ということは誤っていればそれは小狡い fact13: もしこの誘致話が肉体労働者でないし入手術でないとしたらこのリング部分は予選でない fact14: あの二本分は動物性プランクトンでない fact15: このリング部分は動物性プランクトンでない ; $hypothesis$ = 「「施行後であるしかつ小狡い」ものはある」ということは真実でない ; $proof$ = 
fact7 & fact14 -> int1: この誘致話は肉体労働者でなくておまけに入手術でない; int1 & fact13 -> int2: このリング部分は予選でない; int2 & fact3 -> int3: あの製造計画は施行後であるしその上予選だ; int3 -> int4: あの製造計画は施行後だ; fact10 -> int5: あの製造計画は八路軍だとしたら「期待し難くないし加えてそれは注視・追視する」ということは偽だ; fact4 -> int6: あの製造計画は八路軍である; int5 & int6 -> int7: 「あの製造計画は期待し難くない一方で注視・追視する」ということは誤っている; fact12 -> int8: もし「「あの製造計画は期待し難くないけれどそれは注視・追視する」ということは真実だ」ということは間違いであるなら「小狡い」ということは本当である; int7 & int8 -> int9: あの製造計画は小狡い; int4 & int9 -> int10: あの製造計画が施行後だしその上それは小狡い; int10 -> hypothesis; __DISPROVED__
事実1: ある物は小狡くないなら「それは施行後でないが予選だ」ということは偽だ
事実2: この誘致話は期待し難くないとすればそれは小狡くないけれど注視・追視する
事実3: もしもこのリング部分が予選でないとするとあの製造計画は施行後であるしおまけに予選である
事実4: あの製造計画は八路軍であるししかも踏み出す
事実5: なにがしかの物は予選であるなら「「肉体労働者でないが入手術だ」ということは真実だ」ということは誤っている
事実6: 「あの製造計画は期待し難くてまた注視・追視する」ということは偽である
事実7: もし仮にあの二本分が動物性プランクトンでないとしたらこの誘致話は肉体労働者でないし入手術でない
事実8: 仮にあるものは動物性プランクトンであるならば「肉体労働者でないがしかしホンスだ」ということは嘘だ
事実9: 仮になんらかのものが動物性プランクトンなら肉体労働者である
事実10: なにがしかの物は八路軍なら「それは期待し難くないがしかし注視・追視する」ということは事実でない
事実11: 「動物性プランクトンな」物はある
事実12: 「なにかは期待し難くないけど注視・追視する」ということは誤っていればそれは小狡い
事実13: もしこの誘致話が肉体労働者でないし入手術でないとしたらこのリング部分は予選でない
事実14: あの二本分は動物性プランクトンでない
事実15: このリング部分は動物性プランクトンでない

仮説: 「「施行後であるしかつ小狡い」ものはある」ということは真実でない
1. 事実7と事実14から、推論1: "この誘致話は肉体労働者でなくておまけに入手術でない"が導かれる
2. 推論1と事実13から、推論2: "このリング部分は予選でない"が導かれる
3. 推論2と事実3から、推論3: "あの製造計画は施行後であるしその上予選だ"が導かれる
4. 推論3から、推論4: "あの製造計画は施行後だ"が導かれる
5. 事実10から、推論5: "あの製造計画は八路軍だとしたら「期待し難くないし加えてそれは注視・追視する」ということは偽だ"が導かれる
6. 事実4から、推論6: "あの製造計画は八路軍である"が導かれる
7. 推論5と推論6から、推論7: "「あの製造計画は期待し難くない一方で注視・追視する」ということは誤っている"が導かれる
8. 事実12から、推論8: "もし「「あの製造計画は期待し難くないけれどそれは注視・追視する」ということは真実だ」ということは間違いであるなら「小狡い」ということは本当である"が導かれる
9. 推論7と推論8から、推論9: "あの製造計画は小狡い"が導かれる
10. 推論4と推論9から、推論10: "あの製造計画が施行後だしその上それは小狡い"が導かれる
11. 推論10から、仮説が否定される

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