その環境アセスメントは羨ましい
fact1: もし「「発揮し易いし羨ましい」ということは成り立つということはない」物があるとしたらその環境アセスメントは小脳系だ fact2: もしも「「賢しくて加えて離脱出来る」ということは事実と異なる」ものがあるならこの既着品は発揮し易い fact3: 「もし「この既着品は小脳系でない」ということは真実であるとしたらその環境アセスメントは羨ましいということはない」ということは確かだ fact4: もしなにかは小脳系でないならば羨ましくて発揮し易い fact5: 「「羨ましいしおまけに小脳系である」ということは成り立たない」ものがあるとするとその環境アセスメントは発揮し易い fact6: もし「「発揮し易いし羨ましい」ということは成り立つということはない」物があるならこの既着品は小脳系である fact7: 「「賢しくて更に離脱出来る」ということは成り立たない」ものはある fact8: その環境アセスメントは小脳系である fact9: もし仮に何らかのものは変われるとすれば「それは小脳系であるしそれは生白いということはない」ということは確かでない fact10: 「あるものは小脳系だけれど生白くない」ということは間違いであるとしたらそれは小脳系でない fact11: もしこの既着品が発揮し易いかもしくはそれが小脳系でないかまたは両方ともだとするとその環境アセスメントは羨ましくない fact12: 「「小脳系であるしかつ発揮し易い」ということは成り立たない」物はある fact13: この既着品は英国教会でない fact14: あの崩壊クラスは倒れ難いということはないか就業女性でないかもしくはどちらもだ fact15: この既着品は狙い難いということはない fact16: なんらかのものは賢しくて離脱出来る fact17: この既着品は羨ましいかもしくは小脳系でないか両方ともだ fact18: 仮にこの既着品は藍であるということはないならば「その環境アセスメントは変われる」ということは真実である fact19: この既着品は羨ましいかあるいは発揮し易くないかまたは両方である fact20: もしも「「小脳系だし羨ましい」ということは間違っている」ものがあるとしたらその環境アセスメントは発揮し易い fact21: この既着品は発揮し易いかもしくは小脳系であるかあるいは両方である fact22: 「「離脱出来るということはない」物があるとするとこの既着品は発揮し易い」ということは本当だ
fact7 & fact2 -> int1: この既着品は発揮し易い; int1 -> int2: この既着品は発揮し易いかまたは小脳系でない; int2 & fact11 -> hypothesis;
fact7 & fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v ¬{B}{a}); int2 & fact11 -> hypothesis;
その環境アセスメントは羨ましい
fact27 -> int3: もし仮にその環境アセスメントは小脳系でないとしたらそれは羨ましくておまけに発揮し易い; fact24 -> int4: 仮に「その環境アセスメントは小脳系であるがしかし生白くない」ということは誤りだとすれば小脳系でない; fact25 -> int5: その環境アセスメントは変われるとしたら「小脳系だけれど生白くない」ということは偽である; fact26 -> int6: なんらかのものは倒れ難くないかまたはそれは就業女性でないかあるいは両方ともだ;
$facts$ = fact1: もし「「発揮し易いし羨ましい」ということは成り立つということはない」物があるとしたらその環境アセスメントは小脳系だ fact2: もしも「「賢しくて加えて離脱出来る」ということは事実と異なる」ものがあるならこの既着品は発揮し易い fact3: 「もし「この既着品は小脳系でない」ということは真実であるとしたらその環境アセスメントは羨ましいということはない」ということは確かだ fact4: もしなにかは小脳系でないならば羨ましくて発揮し易い fact5: 「「羨ましいしおまけに小脳系である」ということは成り立たない」ものがあるとするとその環境アセスメントは発揮し易い fact6: もし「「発揮し易いし羨ましい」ということは成り立つということはない」物があるならこの既着品は小脳系である fact7: 「「賢しくて更に離脱出来る」ということは成り立たない」ものはある fact8: その環境アセスメントは小脳系である fact9: もし仮に何らかのものは変われるとすれば「それは小脳系であるしそれは生白いということはない」ということは確かでない fact10: 「あるものは小脳系だけれど生白くない」ということは間違いであるとしたらそれは小脳系でない fact11: もしこの既着品が発揮し易いかもしくはそれが小脳系でないかまたは両方ともだとするとその環境アセスメントは羨ましくない fact12: 「「小脳系であるしかつ発揮し易い」ということは成り立たない」物はある fact13: この既着品は英国教会でない fact14: あの崩壊クラスは倒れ難いということはないか就業女性でないかもしくはどちらもだ fact15: この既着品は狙い難いということはない fact16: なんらかのものは賢しくて離脱出来る fact17: この既着品は羨ましいかもしくは小脳系でないか両方ともだ fact18: 仮にこの既着品は藍であるということはないならば「その環境アセスメントは変われる」ということは真実である fact19: この既着品は羨ましいかあるいは発揮し易くないかまたは両方である fact20: もしも「「小脳系だし羨ましい」ということは間違っている」ものがあるとしたらその環境アセスメントは発揮し易い fact21: この既着品は発揮し易いかもしくは小脳系であるかあるいは両方である fact22: 「「離脱出来るということはない」物があるとするとこの既着品は発揮し易い」ということは本当だ ; $hypothesis$ = その環境アセスメントは羨ましい ; $proof$ = 
fact7 & fact2 -> int1: この既着品は発揮し易い; int1 -> int2: この既着品は発揮し易いかまたは小脳系でない; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: もし「「発揮し易いし羨ましい」ということは成り立つということはない」物があるとしたらその環境アセスメントは小脳系だ
事実2: もしも「「賢しくて加えて離脱出来る」ということは事実と異なる」ものがあるならこの既着品は発揮し易い
事実3: 「もし「この既着品は小脳系でない」ということは真実であるとしたらその環境アセスメントは羨ましいということはない」ということは確かだ
事実4: もしなにかは小脳系でないならば羨ましくて発揮し易い
事実5: 「「羨ましいしおまけに小脳系である」ということは成り立たない」ものがあるとするとその環境アセスメントは発揮し易い
事実6: もし「「発揮し易いし羨ましい」ということは成り立つということはない」物があるならこの既着品は小脳系である
事実7: 「「賢しくて更に離脱出来る」ということは成り立たない」ものはある
事実8: その環境アセスメントは小脳系である
事実9: もし仮に何らかのものは変われるとすれば「それは小脳系であるしそれは生白いということはない」ということは確かでない
事実10: 「あるものは小脳系だけれど生白くない」ということは間違いであるとしたらそれは小脳系でない
事実11: もしこの既着品が発揮し易いかもしくはそれが小脳系でないかまたは両方ともだとするとその環境アセスメントは羨ましくない
事実12: 「「小脳系であるしかつ発揮し易い」ということは成り立たない」物はある
事実13: この既着品は英国教会でない
事実14: あの崩壊クラスは倒れ難いということはないか就業女性でないかもしくはどちらもだ
事実15: この既着品は狙い難いということはない
事実16: なんらかのものは賢しくて離脱出来る
事実17: この既着品は羨ましいかもしくは小脳系でないか両方ともだ
事実18: 仮にこの既着品は藍であるということはないならば「その環境アセスメントは変われる」ということは真実である
事実19: この既着品は羨ましいかあるいは発揮し易くないかまたは両方である
事実20: もしも「「小脳系だし羨ましい」ということは間違っている」ものがあるとしたらその環境アセスメントは発揮し易い
事実21: この既着品は発揮し易いかもしくは小脳系であるかあるいは両方である
事実22: 「「離脱出来るということはない」物があるとするとこの既着品は発揮し易い」ということは本当だ

仮説: その環境アセスメントは羨ましい
1. 事実7と事実2から、推論1: "この既着品は発揮し易い"が導かれる
2. 推論1から、推論2: "この既着品は発揮し易いかまたは小脳系でない"が導かれる
3. 推論2と事実11から、仮説が否定される

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