その当該抵当権はすっごーくない
fact1: 仮にこの福建語が判別し易いならばあの実需者はディスカス愛好家であるかあるいは規定し得ないかあるいは両方ともである fact2: その実需者はすっごーくない fact3: 取り出し易くないものは崩落だしすっごーい fact4: 「その実需者は崩落である」ということは偽でない fact5: このトレーニング前が見境無いとするとその茶碗は判別し易い fact6: 仮に「その実需者は引き難いということはないがしかし積み増す」ということは成り立たないとするとその当該抵当権はすっごーくない fact7: 何かは判別し易いとするとあのアプリケーションソフトは判別し易いかもしくはそれは跳ね飛ばす fact8: もし仮にその実需者は崩落ならば「引き難くなくてそれは積み増す」ということは成り立たない fact9: 美々しかないものは取り出し易くない fact10: 「その実需者は引き難いしかつそれは積み増す」ということは偽である fact11: 仮にその実需者がすっごーいならその当該抵当権はすっごーい fact12: このトレーニング前は見境無い fact13: なにかはディスカス愛好家であるかもしくは規定し得ないか両方ともならそれは美々しかない fact14: もしもその実需者は崩落だとしたら「それは引き難いししかも積み増す」ということは真実でない fact15: もし仮にその当該抵当権は崩落であるとすれば「すっごーいしその上引き難い」ということは偽だ
fact8 & fact4 -> int1: 「その実需者は引き難くない一方で積み増す」ということは成り立たない; int1 & fact6 -> hypothesis;
fact8 & fact4 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact6 -> hypothesis;
その当該抵当権はすっごーい
fact21 -> int2: もしその実需者が取り出し易くないならばそれは崩落であるし更にすっごーい; fact22 -> int3: 仮に「その実需者は美々しかない」ということは確かであるとすればそれは取り出し易くない; fact23 -> int4: もしもその実需者はディスカス愛好家であるか規定し得ないかもしくは両方ともであるならばそれは美々しかない; fact20 & fact17 -> int5: その茶碗は判別し易い; int5 -> int6: 「判別し易い」物はある; int6 & fact16 -> int7: あのアプリケーションソフトは判別し易いかそれは跳ね飛ばすか両方だ;
$facts$ = fact1: 仮にこの福建語が判別し易いならばあの実需者はディスカス愛好家であるかあるいは規定し得ないかあるいは両方ともである fact2: その実需者はすっごーくない fact3: 取り出し易くないものは崩落だしすっごーい fact4: 「その実需者は崩落である」ということは偽でない fact5: このトレーニング前が見境無いとするとその茶碗は判別し易い fact6: 仮に「その実需者は引き難いということはないがしかし積み増す」ということは成り立たないとするとその当該抵当権はすっごーくない fact7: 何かは判別し易いとするとあのアプリケーションソフトは判別し易いかもしくはそれは跳ね飛ばす fact8: もし仮にその実需者は崩落ならば「引き難くなくてそれは積み増す」ということは成り立たない fact9: 美々しかないものは取り出し易くない fact10: 「その実需者は引き難いしかつそれは積み増す」ということは偽である fact11: 仮にその実需者がすっごーいならその当該抵当権はすっごーい fact12: このトレーニング前は見境無い fact13: なにかはディスカス愛好家であるかもしくは規定し得ないか両方ともならそれは美々しかない fact14: もしもその実需者は崩落だとしたら「それは引き難いししかも積み増す」ということは真実でない fact15: もし仮にその当該抵当権は崩落であるとすれば「すっごーいしその上引き難い」ということは偽だ ; $hypothesis$ = その当該抵当権はすっごーくない ; $proof$ = 
fact8 & fact4 -> int1: 「その実需者は引き難くない一方で積み増す」ということは成り立たない; int1 & fact6 -> hypothesis; __PROVED__
事実1: 仮にこの福建語が判別し易いならばあの実需者はディスカス愛好家であるかあるいは規定し得ないかあるいは両方ともである
事実2: その実需者はすっごーくない
事実3: 取り出し易くないものは崩落だしすっごーい
事実4: 「その実需者は崩落である」ということは偽でない
事実5: このトレーニング前が見境無いとするとその茶碗は判別し易い
事実6: 仮に「その実需者は引き難いということはないがしかし積み増す」ということは成り立たないとするとその当該抵当権はすっごーくない
事実7: 何かは判別し易いとするとあのアプリケーションソフトは判別し易いかもしくはそれは跳ね飛ばす
事実8: もし仮にその実需者は崩落ならば「引き難くなくてそれは積み増す」ということは成り立たない
事実9: 美々しかないものは取り出し易くない
事実10: 「その実需者は引き難いしかつそれは積み増す」ということは偽である
事実11: 仮にその実需者がすっごーいならその当該抵当権はすっごーい
事実12: このトレーニング前は見境無い
事実13: なにかはディスカス愛好家であるかもしくは規定し得ないか両方ともならそれは美々しかない
事実14: もしもその実需者は崩落だとしたら「それは引き難いししかも積み増す」ということは真実でない
事実15: もし仮にその当該抵当権は崩落であるとすれば「すっごーいしその上引き難い」ということは偽だ

仮説: その当該抵当権はすっごーくない
1. 事実8と事実4から、推論1: "「その実需者は引き難くない一方で積み増す」ということは成り立たない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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