この肯定的表現は二地域でない
fact1: 仮にとあるものは設定情報でないとすると「それは神経節細胞でなくてそれに上水使用量でない」ということは成り立たない fact2: もし仮に「あの心理教育は大きい一方でそれは上水使用量だということはない」ということは嘘であるとしたらこの肯定的表現は国土計画でない fact3: 「もしこの肯定的表現が二地域ならばこの肯定的表現は国土計画である」ということは嘘でない fact4: もしあの清水家が生じ難いならその野菜生産は捨て猫だということはなくてまた切り離し難いということはない fact5: あのパリ派は譲歩しない fact6: もし何らかのものは国土計画でないなら二地域でないかまたは大きくないか両方だ fact7: あの心理教育が大きくないとしたらこの肯定的表現は国土計画でない fact8: この肯定的表現は開け窯しない fact9: 「あの心理教育は国土計画だけど上水使用量でない」ということは確かでない fact10: あの八十二系は国土計画でない fact11: 「あの心理教育は大きいがしかし上水使用量でない」ということは嘘である fact12: 「あの心理教育は二地域であるけれどそれは大きくない」ということは間違いである fact13: もし仮にあのパリ派が寝腐れるということはないならばその野菜生産は寝腐れない fact14: あのパリ派が譲歩しないとするとそれは寝腐れない fact15: あの清水家は生じ難い fact16: もし仮にとあるものは切り離し難くないならば「それは呪わしいししかも吹き消す」ということは成り立たない fact17: 「あの心理教育は上水使用量だ一方で国土計画でない」ということは成り立たない fact18: あの心理教育が二地域でないとしたらこの肯定的表現は二地域である fact19: 「この肯定的表現は上水使用量でない」ということは成り立つ fact20: もしあるものが寝腐れないし女らしいということはないとしたら設定情報でない fact21: もし「何かは呪わしいし吹き消す」ということは偽だとすればそれは女らしくない
void -> assump1: 以下のように仮定する。この肯定的表現は二地域だ; fact3 & assump1 -> int1: 「この肯定的表現は国土計画である」ということは真実である; fact2 & fact11 -> int2: この肯定的表現は国土計画でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この肯定的表現は二地域である
fact25 -> int4: もしあの心理教育は国土計画でないとすると「それは二地域でないかもしくは大きくないかもしくは両方ともである」ということは真実である; fact30 -> int5: もしその野菜生産は設定情報だということはないとすると「神経節細胞でないしそれは上水使用量でない」ということは成り立たない; fact29 -> int6: 仮にその野菜生産が寝腐れないしさらに女らしいということはないとすると設定情報だということはない; fact28 & fact26 -> int7: あのパリ派は寝腐れない; fact32 & int7 -> int8: その野菜生産は寝腐れない; fact27 -> int9: 「その野菜生産は呪わしくて更に吹き消す」ということは間違いであるならそれは女らしくない; fact31 -> int10: もし仮にその野菜生産は切り離し難くないならば「呪わしいしその上吹き消す」ということは誤っている; fact22 & fact24 -> int11: その野菜生産は捨て猫でなくてそれに切り離し難くない; int11 -> int12: その野菜生産は切り離し難いということはない; int10 & int12 -> int13: 「その野菜生産は呪わしくて吹き消す」ということは偽だ; int9 & int13 -> int14: その野菜生産は女らしくない; int8 & int14 -> int15: その野菜生産は寝腐れなくてそれは女らしくない; int6 & int15 -> int16: その野菜生産は設定情報でない; int5 & int16 -> int17: 「その野菜生産は神経節細胞だということはないしおまけにそれは上水使用量でない」ということは真実でない; int17 -> int18: 「「神経節細胞でないしそれに上水使用量でない」ということは誤っている」物はある;
$facts$ = fact1: 仮にとあるものは設定情報でないとすると「それは神経節細胞でなくてそれに上水使用量でない」ということは成り立たない fact2: もし仮に「あの心理教育は大きい一方でそれは上水使用量だということはない」ということは嘘であるとしたらこの肯定的表現は国土計画でない fact3: 「もしこの肯定的表現が二地域ならばこの肯定的表現は国土計画である」ということは嘘でない fact4: もしあの清水家が生じ難いならその野菜生産は捨て猫だということはなくてまた切り離し難いということはない fact5: あのパリ派は譲歩しない fact6: もし何らかのものは国土計画でないなら二地域でないかまたは大きくないか両方だ fact7: あの心理教育が大きくないとしたらこの肯定的表現は国土計画でない fact8: この肯定的表現は開け窯しない fact9: 「あの心理教育は国土計画だけど上水使用量でない」ということは確かでない fact10: あの八十二系は国土計画でない fact11: 「あの心理教育は大きいがしかし上水使用量でない」ということは嘘である fact12: 「あの心理教育は二地域であるけれどそれは大きくない」ということは間違いである fact13: もし仮にあのパリ派が寝腐れるということはないならばその野菜生産は寝腐れない fact14: あのパリ派が譲歩しないとするとそれは寝腐れない fact15: あの清水家は生じ難い fact16: もし仮にとあるものは切り離し難くないならば「それは呪わしいししかも吹き消す」ということは成り立たない fact17: 「あの心理教育は上水使用量だ一方で国土計画でない」ということは成り立たない fact18: あの心理教育が二地域でないとしたらこの肯定的表現は二地域である fact19: 「この肯定的表現は上水使用量でない」ということは成り立つ fact20: もしあるものが寝腐れないし女らしいということはないとしたら設定情報でない fact21: もし「何かは呪わしいし吹き消す」ということは偽だとすればそれは女らしくない ; $hypothesis$ = この肯定的表現は二地域でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この肯定的表現は二地域だ; fact3 & assump1 -> int1: 「この肯定的表現は国土計画である」ということは真実である; fact2 & fact11 -> int2: この肯定的表現は国土計画でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にとあるものは設定情報でないとすると「それは神経節細胞でなくてそれに上水使用量でない」ということは成り立たない
事実2: もし仮に「あの心理教育は大きい一方でそれは上水使用量だということはない」ということは嘘であるとしたらこの肯定的表現は国土計画でない
事実3: 「もしこの肯定的表現が二地域ならばこの肯定的表現は国土計画である」ということは嘘でない
事実4: もしあの清水家が生じ難いならその野菜生産は捨て猫だということはなくてまた切り離し難いということはない
事実5: あのパリ派は譲歩しない
事実6: もし何らかのものは国土計画でないなら二地域でないかまたは大きくないか両方だ
事実7: あの心理教育が大きくないとしたらこの肯定的表現は国土計画でない
事実8: この肯定的表現は開け窯しない
事実9: 「あの心理教育は国土計画だけど上水使用量でない」ということは確かでない
事実10: あの八十二系は国土計画でない
事実11: 「あの心理教育は大きいがしかし上水使用量でない」ということは嘘である
事実12: 「あの心理教育は二地域であるけれどそれは大きくない」ということは間違いである
事実13: もし仮にあのパリ派が寝腐れるということはないならばその野菜生産は寝腐れない
事実14: あのパリ派が譲歩しないとするとそれは寝腐れない
事実15: あの清水家は生じ難い
事実16: もし仮にとあるものは切り離し難くないならば「それは呪わしいししかも吹き消す」ということは成り立たない
事実17: 「あの心理教育は上水使用量だ一方で国土計画でない」ということは成り立たない
事実18: あの心理教育が二地域でないとしたらこの肯定的表現は二地域である
事実19: 「この肯定的表現は上水使用量でない」ということは成り立つ
事実20: もしあるものが寝腐れないし女らしいということはないとしたら設定情報でない
事実21: もし「何かは呪わしいし吹き消す」ということは偽だとすればそれは女らしくない

仮説: この肯定的表現は二地域でない
1. 仮定1: 以下のように仮定する。この肯定的表現は二地域だ
2. 事実3と仮定1から、推論1: "「この肯定的表現は国土計画である」ということは真実である"が導かれる
3. 事実2と事実11から、推論2: "この肯定的表現は国土計画でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。