あのテンメンジャンは地力でなくて更に廃物でない
fact1: このグリーン系は銀杏並木でない fact2: もし「後輩だということはない」物はあるとすると「あのテンメンジャンがアトム君だしそれは後輩である」ということは成り立つということはない fact3: あのテンメンジャンは地力でないし更に流すということはない fact4: もしその認知活動が銀杏並木でないとするとあのテンメンジャンは地力でなくて廃物でない fact5: 仮に「あの中央環境審議会はアトム君である」ということは確かであるとしたら「それは地力でないか銀杏並木であるかもしくは両方ともである」ということは間違っている fact6: 「「なにかはアトム君でそれに後輩だ」ということは真実である」ということは成り立たないとすれば「アトム君でない」ということは成り立つ fact7: あの中央環境審議会はアトム君でないとすれば「このグリーン系は流すし点心である」ということは成り立たない fact8: もしこのグリーン系が点心でないとしたらその認知活動は銀杏並木でない fact9: あの中央環境審議会はアトム君でない fact10: このグリーン系が廃物であるということはないとするとあのテンメンジャンは地力でないし更に流さない fact11: あのテンメンジャンは地力でない fact12: 「このグリーン系は流すしかつ点心だ」ということは正しくないならその認知活動は銀杏並木でない fact13: もしもその認知活動が銀杏並木でないならあのテンメンジャンは地力でない fact14: あのテンメンジャンは流さない fact15: 仮に「あの中央環境審議会は地力でないかあるいは銀杏並木であるか両方ともだ」ということは間違っているとするとそのミスディレクションは地力でない fact16: もしこのグリーン系が関係深くないがそれが銀杏並木だとしたらあの中央環境審議会は後輩でない fact17: もしもある物が御命じ下さるなら関係深くないしそれにそれは銀杏並木である
fact7 & fact9 -> int1: 「「このグリーン系が流すしその上点心だ」ということは嘘である」ということは真実である; int1 & fact12 -> int2: その認知活動は銀杏並木でない; int2 & fact4 -> hypothesis;
fact7 & fact9 -> int1: ¬({AA}{b} & {AB}{b}); int1 & fact12 -> int2: ¬{B}{c}; int2 & fact4 -> hypothesis;
「「あのテンメンジャンは地力でないし更に廃物でない」ということは成り立つ」ということは事実と異なる
fact18 -> int3: 仮に「「あのテンメンジャンはアトム君であるし後輩だ」ということは本当である」ということは事実と異なるとしたらそれはアトム君でない; fact21 -> int4: もしもその認知活動が御命じ下さるとしたらそれは関係深くないが銀杏並木だ;
$facts$ = fact1: このグリーン系は銀杏並木でない fact2: もし「後輩だということはない」物はあるとすると「あのテンメンジャンがアトム君だしそれは後輩である」ということは成り立つということはない fact3: あのテンメンジャンは地力でないし更に流すということはない fact4: もしその認知活動が銀杏並木でないとするとあのテンメンジャンは地力でなくて廃物でない fact5: 仮に「あの中央環境審議会はアトム君である」ということは確かであるとしたら「それは地力でないか銀杏並木であるかもしくは両方ともである」ということは間違っている fact6: 「「なにかはアトム君でそれに後輩だ」ということは真実である」ということは成り立たないとすれば「アトム君でない」ということは成り立つ fact7: あの中央環境審議会はアトム君でないとすれば「このグリーン系は流すし点心である」ということは成り立たない fact8: もしこのグリーン系が点心でないとしたらその認知活動は銀杏並木でない fact9: あの中央環境審議会はアトム君でない fact10: このグリーン系が廃物であるということはないとするとあのテンメンジャンは地力でないし更に流さない fact11: あのテンメンジャンは地力でない fact12: 「このグリーン系は流すしかつ点心だ」ということは正しくないならその認知活動は銀杏並木でない fact13: もしもその認知活動が銀杏並木でないならあのテンメンジャンは地力でない fact14: あのテンメンジャンは流さない fact15: 仮に「あの中央環境審議会は地力でないかあるいは銀杏並木であるか両方ともだ」ということは間違っているとするとそのミスディレクションは地力でない fact16: もしこのグリーン系が関係深くないがそれが銀杏並木だとしたらあの中央環境審議会は後輩でない fact17: もしもある物が御命じ下さるなら関係深くないしそれにそれは銀杏並木である ; $hypothesis$ = あのテンメンジャンは地力でなくて更に廃物でない ; $proof$ = 
fact7 & fact9 -> int1: 「「このグリーン系が流すしその上点心だ」ということは嘘である」ということは真実である; int1 & fact12 -> int2: その認知活動は銀杏並木でない; int2 & fact4 -> hypothesis; __PROVED__
事実1: このグリーン系は銀杏並木でない
事実2: もし「後輩だということはない」物はあるとすると「あのテンメンジャンがアトム君だしそれは後輩である」ということは成り立つということはない
事実3: あのテンメンジャンは地力でないし更に流すということはない
事実4: もしその認知活動が銀杏並木でないとするとあのテンメンジャンは地力でなくて廃物でない
事実5: 仮に「あの中央環境審議会はアトム君である」ということは確かであるとしたら「それは地力でないか銀杏並木であるかもしくは両方ともである」ということは間違っている
事実6: 「「なにかはアトム君でそれに後輩だ」ということは真実である」ということは成り立たないとすれば「アトム君でない」ということは成り立つ
事実7: あの中央環境審議会はアトム君でないとすれば「このグリーン系は流すし点心である」ということは成り立たない
事実8: もしこのグリーン系が点心でないとしたらその認知活動は銀杏並木でない
事実9: あの中央環境審議会はアトム君でない
事実10: このグリーン系が廃物であるということはないとするとあのテンメンジャンは地力でないし更に流さない
事実11: あのテンメンジャンは地力でない
事実12: 「このグリーン系は流すしかつ点心だ」ということは正しくないならその認知活動は銀杏並木でない
事実13: もしもその認知活動が銀杏並木でないならあのテンメンジャンは地力でない
事実14: あのテンメンジャンは流さない
事実15: 仮に「あの中央環境審議会は地力でないかあるいは銀杏並木であるか両方ともだ」ということは間違っているとするとそのミスディレクションは地力でない
事実16: もしこのグリーン系が関係深くないがそれが銀杏並木だとしたらあの中央環境審議会は後輩でない
事実17: もしもある物が御命じ下さるなら関係深くないしそれにそれは銀杏並木である

仮説: あのテンメンジャンは地力でなくて更に廃物でない
1. 事実7と事実9から、推論1: "「「このグリーン系が流すしその上点心だ」ということは嘘である」ということは真実である"が導かれる
2. 推論1と事実12から、推論2: "その認知活動は銀杏並木でない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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