その十月半ばは関税法でない
fact1: 仮に「とあるものはスポーツマンらしくないかもしくはそれは近過ぎるということはないかもしくはどちらもだ」ということは真実でないとすればそれは付表である fact2: その十月半ばは夥しくて覚え難いとしたら「ローマ社会だということはない」ということは誤っていない fact3: 仮に何らかの物はローマ社会でないとすると「それはスポーツマンらしくないかまたはそれは近過ぎるということはない」ということは成り立たない fact4: あの降りは被覆する fact5: もし「あの降りは被覆する」ということは正しいなら「その十月半ばはアカウントオブジェクトでないけれど白み始める」ということは偽である fact6: 付表は被覆しない fact7: あの書類選考は被覆する fact8: 「その十月半ばはアカウントオブジェクトでないがしかし白み始める」ということは嘘なら関税法である fact9: 仮になにかは被覆するということはないとすればそれは関税法でない fact10: もしもなにがしかの物が惨め過ぎないならば夥しくて加えて覚え難い
fact5 & fact4 -> int1: 「その十月半ばはアカウントオブジェクトであるということはないけど白み始める」ということは間違っている; int1 & fact8 -> hypothesis;
その十月半ばは関税法でない
fact12 -> int2: もしもその十月半ばが被覆するということはないとするとそれは関税法でない; fact11 -> int3: もしもその十月半ばは付表ならば「それは被覆しない」ということは誤りでない; fact15 -> int4: もしも「その十月半ばはスポーツマンらしくないかまたは近過ぎない」ということは間違っているとすると付表である; fact14 -> int5: 仮にその十月半ばはローマ社会でないならば「それはスポーツマンらしいということはないかもしくは近過ぎないかあるいはどちらもだ」ということは偽である; fact13 -> int6: もしその十月半ばが惨め過ぎないとするとそれは夥しくておまけに覚え難い;
$facts$ = fact1: 仮に「とあるものはスポーツマンらしくないかもしくはそれは近過ぎるということはないかもしくはどちらもだ」ということは真実でないとすればそれは付表である fact2: その十月半ばは夥しくて覚え難いとしたら「ローマ社会だということはない」ということは誤っていない fact3: 仮に何らかの物はローマ社会でないとすると「それはスポーツマンらしくないかまたはそれは近過ぎるということはない」ということは成り立たない fact4: あの降りは被覆する fact5: もし「あの降りは被覆する」ということは正しいなら「その十月半ばはアカウントオブジェクトでないけれど白み始める」ということは偽である fact6: 付表は被覆しない fact7: あの書類選考は被覆する fact8: 「その十月半ばはアカウントオブジェクトでないがしかし白み始める」ということは嘘なら関税法である fact9: 仮になにかは被覆するということはないとすればそれは関税法でない fact10: もしもなにがしかの物が惨め過ぎないならば夥しくて加えて覚え難い ; $hypothesis$ = その十月半ばは関税法でない ; $proof$ = 
fact5 & fact4 -> int1: 「その十月半ばはアカウントオブジェクトであるということはないけど白み始める」ということは間違っている; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「とあるものはスポーツマンらしくないかもしくはそれは近過ぎるということはないかもしくはどちらもだ」ということは真実でないとすればそれは付表である
事実2: その十月半ばは夥しくて覚え難いとしたら「ローマ社会だということはない」ということは誤っていない
事実3: 仮に何らかの物はローマ社会でないとすると「それはスポーツマンらしくないかまたはそれは近過ぎるということはない」ということは成り立たない
事実4: あの降りは被覆する
事実5: もし「あの降りは被覆する」ということは正しいなら「その十月半ばはアカウントオブジェクトでないけれど白み始める」ということは偽である
事実6: 付表は被覆しない
事実7: あの書類選考は被覆する
事実8: 「その十月半ばはアカウントオブジェクトでないがしかし白み始める」ということは嘘なら関税法である
事実9: 仮になにかは被覆するということはないとすればそれは関税法でない
事実10: もしもなにがしかの物が惨め過ぎないならば夥しくて加えて覚え難い

仮説: その十月半ばは関税法でない
1. 事実5と事実4から、推論1: "「その十月半ばはアカウントオブジェクトであるということはないけど白み始める」ということは間違っている"が導かれる
2. 推論1と事実8から、仮説が否定される

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