「あの反応性鬱病は職員室でないかまたは受章するということはないかもしくはどちらもだ」ということは嘘だ
fact1: この桴は仰ぎ見る fact2: 「あの反応性鬱病は婦人層でないが職員室だ」ということは誤っている fact3: この暗転は御宜しいということはないかもしくはカラーモードであるかあるいはどちらもだ fact4: もしもあの反応性鬱病は仰ぎ見るし加えて職員室であるとすると「それは御宜しい」ということは真実でない fact5: このケーソンは御宜しくないが六箇月以上である fact6: このシーケンシャル処理は仰ぎ見ない fact7: 仮に御宜しくないものは受け取り人欄であるならば婦人層でない fact8: 「そのオープン・システムは御宜しくないけれど発色する」ということは確かであるということはない fact9: このケーソンは渡さない一方で受章する fact10: あの反応性鬱病は職員室でないかまたは受章する fact11: もしなんらかの物が仰ぎ見るとするとあの反応性鬱病は受け取り人欄である fact12: このケーソンは仰ぎ見る fact13: あの反応性鬱病は民業であるということはない fact14: もし仮に「受け取り人欄である」ものがあるならこのケーソンは職員室でないが仰ぎ見る fact15: この秋冬は補給出来ないか目新しいかあるいはどちらもである fact16: もし仮にこのケーソンは受章しないがしかし御宜しいとすると仰ぎ見ない fact17: もしも「仰ぎ見る」物があるとするとあの反応性鬱病は御宜しいということはないがしかしそれは受け取り人欄だ fact18: 「「このケーソンは受け取り人欄でないけれど仰ぎ見る」ということは成り立つ」ということは偽である
fact12 -> int1: 「仰ぎ見る」物はある; int1 & fact17 -> int2: あの反応性鬱病は御宜しくないがしかし受け取り人欄である; fact7 -> int3: もしもあの反応性鬱病が御宜しくないがしかし受け取り人欄だとするとそれは婦人層でない; int2 & int3 -> int4: あの反応性鬱病は婦人層でない; void -> assump1: 以下のように仮定する。あの反応性鬱病は職員室だ; int4 & assump1 -> int5: あの反応性鬱病は婦人層であるということはないが職員室だ; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの反応性鬱病は職員室でない; int7 -> hypothesis;
$facts$ = fact1: この桴は仰ぎ見る fact2: 「あの反応性鬱病は婦人層でないが職員室だ」ということは誤っている fact3: この暗転は御宜しいということはないかもしくはカラーモードであるかあるいはどちらもだ fact4: もしもあの反応性鬱病は仰ぎ見るし加えて職員室であるとすると「それは御宜しい」ということは真実でない fact5: このケーソンは御宜しくないが六箇月以上である fact6: このシーケンシャル処理は仰ぎ見ない fact7: 仮に御宜しくないものは受け取り人欄であるならば婦人層でない fact8: 「そのオープン・システムは御宜しくないけれど発色する」ということは確かであるということはない fact9: このケーソンは渡さない一方で受章する fact10: あの反応性鬱病は職員室でないかまたは受章する fact11: もしなんらかの物が仰ぎ見るとするとあの反応性鬱病は受け取り人欄である fact12: このケーソンは仰ぎ見る fact13: あの反応性鬱病は民業であるということはない fact14: もし仮に「受け取り人欄である」ものがあるならこのケーソンは職員室でないが仰ぎ見る fact15: この秋冬は補給出来ないか目新しいかあるいはどちらもである fact16: もし仮にこのケーソンは受章しないがしかし御宜しいとすると仰ぎ見ない fact17: もしも「仰ぎ見る」物があるとするとあの反応性鬱病は御宜しいということはないがしかしそれは受け取り人欄だ fact18: 「「このケーソンは受け取り人欄でないけれど仰ぎ見る」ということは成り立つ」ということは偽である ; $hypothesis$ = 「あの反応性鬱病は職員室でないかまたは受章するということはないかもしくはどちらもだ」ということは嘘だ ; $proof$ = 
fact12 -> int1: 「仰ぎ見る」物はある; int1 & fact17 -> int2: あの反応性鬱病は御宜しくないがしかし受け取り人欄である; fact7 -> int3: もしもあの反応性鬱病が御宜しくないがしかし受け取り人欄だとするとそれは婦人層でない; int2 & int3 -> int4: あの反応性鬱病は婦人層でない; void -> assump1: 以下のように仮定する。あの反応性鬱病は職員室だ; int4 & assump1 -> int5: あの反応性鬱病は婦人層であるということはないが職員室だ; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの反応性鬱病は職員室でない; int7 -> hypothesis; __DISPROVED__
事実1: この桴は仰ぎ見る
事実2: 「あの反応性鬱病は婦人層でないが職員室だ」ということは誤っている
事実3: この暗転は御宜しいということはないかもしくはカラーモードであるかあるいはどちらもだ
事実4: もしもあの反応性鬱病は仰ぎ見るし加えて職員室であるとすると「それは御宜しい」ということは真実でない
事実5: このケーソンは御宜しくないが六箇月以上である
事実6: このシーケンシャル処理は仰ぎ見ない
事実7: 仮に御宜しくないものは受け取り人欄であるならば婦人層でない
事実8: 「そのオープン・システムは御宜しくないけれど発色する」ということは確かであるということはない
事実9: このケーソンは渡さない一方で受章する
事実10: あの反応性鬱病は職員室でないかまたは受章する
事実11: もしなんらかの物が仰ぎ見るとするとあの反応性鬱病は受け取り人欄である
事実12: このケーソンは仰ぎ見る
事実13: あの反応性鬱病は民業であるということはない
事実14: もし仮に「受け取り人欄である」ものがあるならこのケーソンは職員室でないが仰ぎ見る
事実15: この秋冬は補給出来ないか目新しいかあるいはどちらもである
事実16: もし仮にこのケーソンは受章しないがしかし御宜しいとすると仰ぎ見ない
事実17: もしも「仰ぎ見る」物があるとするとあの反応性鬱病は御宜しいということはないがしかしそれは受け取り人欄だ
事実18: 「「このケーソンは受け取り人欄でないけれど仰ぎ見る」ということは成り立つ」ということは偽である

仮説: 「あの反応性鬱病は職員室でないかまたは受章するということはないかもしくはどちらもだ」ということは嘘だ
1. 事実12から、推論1: "「仰ぎ見る」物はある"が導かれる
2. 推論1と事実17から、推論2: "あの反応性鬱病は御宜しくないがしかし受け取り人欄である"が導かれる
3. 事実7から、推論3: "もしもあの反応性鬱病が御宜しくないがしかし受け取り人欄だとするとそれは婦人層でない"が導かれる
4. 推論2と推論3から、推論4: "あの反応性鬱病は婦人層でない"が導かれる
5. 仮定1: 以下のように仮定する。あの反応性鬱病は職員室だ
6. 推論4と仮定1から、推論5: "あの反応性鬱病は婦人層であるということはないが職員室だ"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの反応性鬱病は職員室でない"が導かれる
9. 推論7から、仮説が否定される

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