このアジア諸地域は行わない
fact1: 仮に「なんらかのものは学力でないけど夢遊病だ」ということは嘘ならば学力だ fact2: あの顧客側は心優しくない fact3: このアジア諸地域は札幌市資料館でないかそれは行うない fact4: もし仮にあの顧客側が心優しくないかまたは札幌市資料館だということはないかまたは両方ともならこのアジア諸地域は行う fact5: このアジア諸地域は札幌市資料館でない fact6: もしもこのアジア諸地域が札幌市資料館だということはないかまたは心優しくないかまたは両方ともならあの顧客側は行う fact7: 仮にあの顧客側が札幌市資料館でないならばあのアジア諸地域は行う fact8: もしもあの顧客側が札幌市資料館であるか心優しいとするとあの遠位骨片は心優しくない fact9: あの顧客側が札幌市資料館だということはないかあるいはそれは行うないならばこのアジア諸地域は心優しい fact10: あの顧客側は学力でないとするとそれは行うし夏らしい fact11: あの顧客側は心優しくないかもしくは札幌市資料館であるかもしくは両方である fact12: もし仮に「この見世物小屋は歯列でない」ということは嘘でないとすると「それは学力でないけど夢遊病だ」ということは誤りだ fact13: 学力は夏らしい fact14: この見世物小屋は歯列でない fact15: このアジア諸地域は御美しい fact16: あの顧客側は狙い易くないかまたはそれは行うくないかもしくは両方だ
fact2 -> int1: あの顧客側は心優しくないかもしくは札幌市資料館でないかもしくは両方だ; int1 & fact4 -> hypothesis;
このアジア諸地域は行わない
fact18 -> int2: 仮にこの見世物小屋が学力ならそれは夏らしい; fact19 -> int3: 仮に「この見世物小屋は学力でないがそれは夢遊病である」ということは誤りであるとしたら学力である; fact17 & fact20 -> int4: 「この見世物小屋は学力でないけど夢遊病である」ということは誤っている; int3 & int4 -> int5: この見世物小屋は学力だ; int2 & int5 -> int6: 「この見世物小屋は夏らしい」ということは確かだ; int6 -> int7: 「夏らしい」ものはある;
$facts$ = fact1: 仮に「なんらかのものは学力でないけど夢遊病だ」ということは嘘ならば学力だ fact2: あの顧客側は心優しくない fact3: このアジア諸地域は札幌市資料館でないかそれは行うない fact4: もし仮にあの顧客側が心優しくないかまたは札幌市資料館だということはないかまたは両方ともならこのアジア諸地域は行う fact5: このアジア諸地域は札幌市資料館でない fact6: もしもこのアジア諸地域が札幌市資料館だということはないかまたは心優しくないかまたは両方ともならあの顧客側は行う fact7: 仮にあの顧客側が札幌市資料館でないならばあのアジア諸地域は行う fact8: もしもあの顧客側が札幌市資料館であるか心優しいとするとあの遠位骨片は心優しくない fact9: あの顧客側が札幌市資料館だということはないかあるいはそれは行うないならばこのアジア諸地域は心優しい fact10: あの顧客側は学力でないとするとそれは行うし夏らしい fact11: あの顧客側は心優しくないかもしくは札幌市資料館であるかもしくは両方である fact12: もし仮に「この見世物小屋は歯列でない」ということは嘘でないとすると「それは学力でないけど夢遊病だ」ということは誤りだ fact13: 学力は夏らしい fact14: この見世物小屋は歯列でない fact15: このアジア諸地域は御美しい fact16: あの顧客側は狙い易くないかまたはそれは行うくないかもしくは両方だ ; $hypothesis$ = このアジア諸地域は行わない ; $proof$ = 
fact2 -> int1: あの顧客側は心優しくないかもしくは札幌市資料館でないかもしくは両方だ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかのものは学力でないけど夢遊病だ」ということは嘘ならば学力だ
事実2: あの顧客側は心優しくない
事実3: このアジア諸地域は札幌市資料館でないかそれは行うない
事実4: もし仮にあの顧客側が心優しくないかまたは札幌市資料館だということはないかまたは両方ともならこのアジア諸地域は行う
事実5: このアジア諸地域は札幌市資料館でない
事実6: もしもこのアジア諸地域が札幌市資料館だということはないかまたは心優しくないかまたは両方ともならあの顧客側は行う
事実7: 仮にあの顧客側が札幌市資料館でないならばあのアジア諸地域は行う
事実8: もしもあの顧客側が札幌市資料館であるか心優しいとするとあの遠位骨片は心優しくない
事実9: あの顧客側が札幌市資料館だということはないかあるいはそれは行うないならばこのアジア諸地域は心優しい
事実10: あの顧客側は学力でないとするとそれは行うし夏らしい
事実11: あの顧客側は心優しくないかもしくは札幌市資料館であるかもしくは両方である
事実12: もし仮に「この見世物小屋は歯列でない」ということは嘘でないとすると「それは学力でないけど夢遊病だ」ということは誤りだ
事実13: 学力は夏らしい
事実14: この見世物小屋は歯列でない
事実15: このアジア諸地域は御美しい
事実16: あの顧客側は狙い易くないかまたはそれは行うくないかもしくは両方だ

仮説: このアジア諸地域は行わない
1. 事実2から、推論1: "あの顧客側は心優しくないかもしくは札幌市資料館でないかもしくは両方だ"が導かれる
2. 推論1と事実4から、仮説が否定される

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