その反戦運動は美々しかない
fact1: 「その反戦運動は隣り合わないか例外無いかまたはどちらもだ」ということは正しくないとするとあの遺棄は六層構造だ fact2: もし仮に「あの遺棄は宗吉図でないか隣り合わない」ということは嘘だとしたらその反戦運動は現行曲だ fact3: あの遺棄は六層構造でないとするとそれは窄まない fact4: あの遺棄は動物である fact5: もし仮にあの遺棄は物凄いということはないとすると「あの切り金は温くないがそれは物凄い」ということは嘘である fact6: その反戦運動はこよなくない fact7: あの切り金は隣り合う fact8: もしもその反戦運動は現行曲であるならば例外無くないしさらに美々しかない fact9: 仮にあの切り金が隣り合うということはないならばあの遺棄は宗吉図であるし六層構造だ fact10: この指定障害福祉サービス等は窄むということはない fact11: 「なんらかのものは物凄くないけれどそれは動物である」ということは成り立たないとしたら六層構造でない fact12: あの切り金は動物でない fact13: 仮にあの遺棄が美々しいとしたらその反戦運動は美々しい fact14: その反戦運動は大土地所有でない fact15: なにかは動物でないならばそれは美々しいしそれに物凄い fact16: あの切り金は窄むということはない fact17: もし仮にその反戦運動は例外無くないとしたら「あの遺棄は動物でない一方でそれは例外無い」ということは誤っている fact18: 仮に「とあるものは温いか六層構造でない」ということは成り立たないとしたらそれは動物であるということはない fact19: もし仮にあの遺棄は六層構造でないとすれば「それは宗吉図でないかあるいはそれは隣り合わない」ということは成り立たない fact20: あの遺棄は底深くないがしかし順応し易い fact21: あの切り金が窄まないならそれは温くないけれど物凄い fact22: 「あの切り金は宗吉図であるということはない」ということは事実である fact23: その反戦運動は隣り合わない fact24: そのユナイテッド航空が例外無くないならばそれは美々しいかあるいは現行曲でないかもしくは両方ともである fact25: もしそのユナイテッド航空が美々しいかまたは現行曲でないか両方だとしたらあの切り金は隣り合わない
void -> assump1: 以下のように仮定する。あの遺棄は物凄くないがしかし動物である; assump1 -> int1: あの遺棄は物凄くない; int1 & fact5 -> int2: 「あの切り金は温くない一方で物凄い」ということは間違いだ; fact16 & fact21 -> int3: あの切り金は温くないが物凄い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの遺棄は物凄いということはないがしかしそれは動物だ」ということは成り立たない; fact11 -> int6: もしも「あの遺棄は物凄くないがしかし動物だ」ということは成り立たないならば六層構造でない; int5 & int6 -> int7: あの遺棄は六層構造でない; int7 & fact19 -> int8: 「あの遺棄は宗吉図でないか隣り合わない」ということは確かでない; int8 & fact2 -> int9: その反戦運動は現行曲だ; int9 & fact8 -> int10: その反戦運動は例外無くなくて加えて美々しかない; int10 -> hypothesis;
その反戦運動は温いということはない
$facts$ = fact1: 「その反戦運動は隣り合わないか例外無いかまたはどちらもだ」ということは正しくないとするとあの遺棄は六層構造だ fact2: もし仮に「あの遺棄は宗吉図でないか隣り合わない」ということは嘘だとしたらその反戦運動は現行曲だ fact3: あの遺棄は六層構造でないとするとそれは窄まない fact4: あの遺棄は動物である fact5: もし仮にあの遺棄は物凄いということはないとすると「あの切り金は温くないがそれは物凄い」ということは嘘である fact6: その反戦運動はこよなくない fact7: あの切り金は隣り合う fact8: もしもその反戦運動は現行曲であるならば例外無くないしさらに美々しかない fact9: 仮にあの切り金が隣り合うということはないならばあの遺棄は宗吉図であるし六層構造だ fact10: この指定障害福祉サービス等は窄むということはない fact11: 「なんらかのものは物凄くないけれどそれは動物である」ということは成り立たないとしたら六層構造でない fact12: あの切り金は動物でない fact13: 仮にあの遺棄が美々しいとしたらその反戦運動は美々しい fact14: その反戦運動は大土地所有でない fact15: なにかは動物でないならばそれは美々しいしそれに物凄い fact16: あの切り金は窄むということはない fact17: もし仮にその反戦運動は例外無くないとしたら「あの遺棄は動物でない一方でそれは例外無い」ということは誤っている fact18: 仮に「とあるものは温いか六層構造でない」ということは成り立たないとしたらそれは動物であるということはない fact19: もし仮にあの遺棄は六層構造でないとすれば「それは宗吉図でないかあるいはそれは隣り合わない」ということは成り立たない fact20: あの遺棄は底深くないがしかし順応し易い fact21: あの切り金が窄まないならそれは温くないけれど物凄い fact22: 「あの切り金は宗吉図であるということはない」ということは事実である fact23: その反戦運動は隣り合わない fact24: そのユナイテッド航空が例外無くないならばそれは美々しいかあるいは現行曲でないかもしくは両方ともである fact25: もしそのユナイテッド航空が美々しいかまたは現行曲でないか両方だとしたらあの切り金は隣り合わない ; $hypothesis$ = その反戦運動は美々しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの遺棄は物凄くないがしかし動物である; assump1 -> int1: あの遺棄は物凄くない; int1 & fact5 -> int2: 「あの切り金は温くない一方で物凄い」ということは間違いだ; fact16 & fact21 -> int3: あの切り金は温くないが物凄い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの遺棄は物凄いということはないがしかしそれは動物だ」ということは成り立たない; fact11 -> int6: もしも「あの遺棄は物凄くないがしかし動物だ」ということは成り立たないならば六層構造でない; int5 & int6 -> int7: あの遺棄は六層構造でない; int7 & fact19 -> int8: 「あの遺棄は宗吉図でないか隣り合わない」ということは確かでない; int8 & fact2 -> int9: その反戦運動は現行曲だ; int9 & fact8 -> int10: その反戦運動は例外無くなくて加えて美々しかない; int10 -> hypothesis; __PROVED__
事実1: 「その反戦運動は隣り合わないか例外無いかまたはどちらもだ」ということは正しくないとするとあの遺棄は六層構造だ
事実2: もし仮に「あの遺棄は宗吉図でないか隣り合わない」ということは嘘だとしたらその反戦運動は現行曲だ
事実3: あの遺棄は六層構造でないとするとそれは窄まない
事実4: あの遺棄は動物である
事実5: もし仮にあの遺棄は物凄いということはないとすると「あの切り金は温くないがそれは物凄い」ということは嘘である
事実6: その反戦運動はこよなくない
事実7: あの切り金は隣り合う
事実8: もしもその反戦運動は現行曲であるならば例外無くないしさらに美々しかない
事実9: 仮にあの切り金が隣り合うということはないならばあの遺棄は宗吉図であるし六層構造だ
事実10: この指定障害福祉サービス等は窄むということはない
事実11: 「なんらかのものは物凄くないけれどそれは動物である」ということは成り立たないとしたら六層構造でない
事実12: あの切り金は動物でない
事実13: 仮にあの遺棄が美々しいとしたらその反戦運動は美々しい
事実14: その反戦運動は大土地所有でない
事実15: なにかは動物でないならばそれは美々しいしそれに物凄い
事実16: あの切り金は窄むということはない
事実17: もし仮にその反戦運動は例外無くないとしたら「あの遺棄は動物でない一方でそれは例外無い」ということは誤っている
事実18: 仮に「とあるものは温いか六層構造でない」ということは成り立たないとしたらそれは動物であるということはない
事実19: もし仮にあの遺棄は六層構造でないとすれば「それは宗吉図でないかあるいはそれは隣り合わない」ということは成り立たない
事実20: あの遺棄は底深くないがしかし順応し易い
事実21: あの切り金が窄まないならそれは温くないけれど物凄い
事実22: 「あの切り金は宗吉図であるということはない」ということは事実である
事実23: その反戦運動は隣り合わない
事実24: そのユナイテッド航空が例外無くないならばそれは美々しいかあるいは現行曲でないかもしくは両方ともである
事実25: もしそのユナイテッド航空が美々しいかまたは現行曲でないか両方だとしたらあの切り金は隣り合わない

仮説: その反戦運動は美々しかない
1. 仮定1: 以下のように仮定する。あの遺棄は物凄くないがしかし動物である
2. 仮定1から、推論1: "あの遺棄は物凄くない"が導かれる
3. 推論1と事実5から、推論2: "「あの切り金は温くない一方で物凄い」ということは間違いだ"が導かれる
4. 事実16と事実21から、推論3: "あの切り金は温くないが物凄い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの遺棄は物凄いということはないがしかしそれは動物だ」ということは成り立たない"が導かれる
7. 事実11から、推論6: "もしも「あの遺棄は物凄くないがしかし動物だ」ということは成り立たないならば六層構造でない"が導かれる
8. 推論5と推論6から、推論7: "あの遺棄は六層構造でない"が導かれる
9. 推論7と事実19から、推論8: "「あの遺棄は宗吉図でないか隣り合わない」ということは確かでない"が導かれる
10. 推論8と事実2から、推論9: "その反戦運動は現行曲だ"が導かれる
11. 推論9と事実8から、推論10: "その反戦運動は例外無くなくて加えて美々しかない"が導かれる
12. 推論10から、仮説が導かれる

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