その段取り換えは蒸し暑くない
fact1: あの両校は質入れしないなら「それは僻みっぽくないかまたは三号室であるかあるいは両方ともだ」ということは誤っている fact2: その段取り換えは三号室だ fact3: あの両校は質入れしない fact4: この個人は質入れしない fact5: 「その段取り換えは蒸し暑くないかあるいはそれは僻みっぽいかまたは両方ともである」ということは事実と異なるとするとあの両校は三号室である fact6: あの両校は覚ませる fact7: あの第四十四話は低くないならば「それは質入れしないかあるいは深いかあるいは両方だ」ということは誤りである fact8: もしも「あの両校は蒸し暑いということはないかもしくは僻みっぽい」ということは誤っているとすればその段取り換えは三号室だ fact9: もしその段取り換えは僻みっぽくないとすると「三号室でないかあるいは蒸し暑いかあるいは両方ともだ」ということは成り立たない fact10: あの両校が質入れしないとするとそれは三号室でない fact11: もし仮に「あの両校は三号室だということはないかまたは蒸し暑いかもしくは両方ともである」ということは間違いだとするとその段取り換えは僻みっぽい fact12: 「もし「「あの両校は僻みっぽくないかあるいは三号室であるかもしくは両方ともである」ということは成り立たない」ということは真実であるとしたら「その段取り換えは蒸し暑い」ということは真実である」ということは正しい fact13: もし仮にあの両校が蒸し暑くないけれど質入れするとしたらその段取り換えは蒸し暑くない fact14: あの両校は三号室であるということはない fact15: その散策は三号室でない
fact1 & fact3 -> int1: 「あの両校は僻みっぽくないかあるいは三号室であるかどちらもだ」ということは嘘である; int1 & fact12 -> hypothesis;
fact1 & fact3 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact12 -> hypothesis;
「その段取り換えは蒸し暑くない」ということは成り立つ
$facts$ = fact1: あの両校は質入れしないなら「それは僻みっぽくないかまたは三号室であるかあるいは両方ともだ」ということは誤っている fact2: その段取り換えは三号室だ fact3: あの両校は質入れしない fact4: この個人は質入れしない fact5: 「その段取り換えは蒸し暑くないかあるいはそれは僻みっぽいかまたは両方ともである」ということは事実と異なるとするとあの両校は三号室である fact6: あの両校は覚ませる fact7: あの第四十四話は低くないならば「それは質入れしないかあるいは深いかあるいは両方だ」ということは誤りである fact8: もしも「あの両校は蒸し暑いということはないかもしくは僻みっぽい」ということは誤っているとすればその段取り換えは三号室だ fact9: もしその段取り換えは僻みっぽくないとすると「三号室でないかあるいは蒸し暑いかあるいは両方ともだ」ということは成り立たない fact10: あの両校が質入れしないとするとそれは三号室でない fact11: もし仮に「あの両校は三号室だということはないかまたは蒸し暑いかもしくは両方ともである」ということは間違いだとするとその段取り換えは僻みっぽい fact12: 「もし「「あの両校は僻みっぽくないかあるいは三号室であるかもしくは両方ともである」ということは成り立たない」ということは真実であるとしたら「その段取り換えは蒸し暑い」ということは真実である」ということは正しい fact13: もし仮にあの両校が蒸し暑くないけれど質入れするとしたらその段取り換えは蒸し暑くない fact14: あの両校は三号室であるということはない fact15: その散策は三号室でない ; $hypothesis$ = その段取り換えは蒸し暑くない ; $proof$ = 
fact1 & fact3 -> int1: 「あの両校は僻みっぽくないかあるいは三号室であるかどちらもだ」ということは嘘である; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: あの両校は質入れしないなら「それは僻みっぽくないかまたは三号室であるかあるいは両方ともだ」ということは誤っている
事実2: その段取り換えは三号室だ
事実3: あの両校は質入れしない
事実4: この個人は質入れしない
事実5: 「その段取り換えは蒸し暑くないかあるいはそれは僻みっぽいかまたは両方ともである」ということは事実と異なるとするとあの両校は三号室である
事実6: あの両校は覚ませる
事実7: あの第四十四話は低くないならば「それは質入れしないかあるいは深いかあるいは両方だ」ということは誤りである
事実8: もしも「あの両校は蒸し暑いということはないかもしくは僻みっぽい」ということは誤っているとすればその段取り換えは三号室だ
事実9: もしその段取り換えは僻みっぽくないとすると「三号室でないかあるいは蒸し暑いかあるいは両方ともだ」ということは成り立たない
事実10: あの両校が質入れしないとするとそれは三号室でない
事実11: もし仮に「あの両校は三号室だということはないかまたは蒸し暑いかもしくは両方ともである」ということは間違いだとするとその段取り換えは僻みっぽい
事実12: 「もし「「あの両校は僻みっぽくないかあるいは三号室であるかもしくは両方ともである」ということは成り立たない」ということは真実であるとしたら「その段取り換えは蒸し暑い」ということは真実である」ということは正しい
事実13: もし仮にあの両校が蒸し暑くないけれど質入れするとしたらその段取り換えは蒸し暑くない
事実14: あの両校は三号室であるということはない
事実15: その散策は三号室でない

仮説: その段取り換えは蒸し暑くない
1. 事実1と事実3から、推論1: "「あの両校は僻みっぽくないかあるいは三号室であるかどちらもだ」ということは嘘である"が導かれる
2. 推論1と事実12から、仮説が否定される

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