「あの普通株式は嫉妬深いがしかし吐き散らさない」ということは間違いだ
fact1: もし仮にとあるものがクルップでないけれど強うとすればそれは御覚悟だ fact2: もし仮にその法嗣が経ないならこの損傷が強うしその上クルップだ fact3: あの普通株式は吐き散らさない fact4: 「結節性紅斑でない」物があるとするとその褐は仮執行宣言であるし経る fact5: 仮にその褐が生産物流でないならこの安田記念は吐き散らす fact6: もし仮にこの損傷が御覚悟でないかあるいはクルップであるかもしくは両方ともだとしたらあの普通株式は外し易い fact7: 「その褐はもどかしくないけど生産物流である」ということは事実と異なるならばあの安田記念は吐き散らす fact8: 「その褐はもどかしいということはないけど生産物流である」ということは誤りだ fact9: 仮にその褐が経るとしたらそれはクルップでなくてそれにそれは強う fact10: もしなんらかのものはリスク要素でないとすると「嫉妬深いがしかし吐き散らさない」ということは成り立たない fact11: もしこの安田記念が吐き散らせばあの普通株式は吐き散らさない fact12: 何かは結節性紅斑でない fact13: 仮にこの安田記念が吐き散らすとすればあの普通株式は嫉妬深いがしかし吐き散らさない fact14: もし「あの普通株式は外し易い」ということは本当だとしたらこの安田記念は吐き散らさなくておまけにリスク要素でない
fact7 & fact8 -> int1: 「この安田記念は吐き散らす」ということは本当である; int1 & fact13 -> hypothesis;
fact7 & fact8 -> int1: {B}{b}; int1 & fact13 -> hypothesis;
「あの普通株式は嫉妬深いけれど吐き散らさない」ということは本当でない
fact15 -> int2: もしあの普通株式はリスク要素でないとすると「嫉妬深いけど吐き散らさない」ということは真実でない; fact18 -> int3: もしその褐がクルップでないけどそれが強うとしたらそれは御覚悟だ; fact19 & fact17 -> int4: その褐は仮執行宣言で経る; int4 -> int5: その褐は経る; fact16 & int5 -> int6: その褐はクルップでないが強う; int3 & int6 -> int7: その褐は御覚悟である; int7 -> int8: 「御覚悟な」物はある;
$facts$ = fact1: もし仮にとあるものがクルップでないけれど強うとすればそれは御覚悟だ fact2: もし仮にその法嗣が経ないならこの損傷が強うしその上クルップだ fact3: あの普通株式は吐き散らさない fact4: 「結節性紅斑でない」物があるとするとその褐は仮執行宣言であるし経る fact5: 仮にその褐が生産物流でないならこの安田記念は吐き散らす fact6: もし仮にこの損傷が御覚悟でないかあるいはクルップであるかもしくは両方ともだとしたらあの普通株式は外し易い fact7: 「その褐はもどかしくないけど生産物流である」ということは事実と異なるならばあの安田記念は吐き散らす fact8: 「その褐はもどかしいということはないけど生産物流である」ということは誤りだ fact9: 仮にその褐が経るとしたらそれはクルップでなくてそれにそれは強う fact10: もしなんらかのものはリスク要素でないとすると「嫉妬深いがしかし吐き散らさない」ということは成り立たない fact11: もしこの安田記念が吐き散らせばあの普通株式は吐き散らさない fact12: 何かは結節性紅斑でない fact13: 仮にこの安田記念が吐き散らすとすればあの普通株式は嫉妬深いがしかし吐き散らさない fact14: もし「あの普通株式は外し易い」ということは本当だとしたらこの安田記念は吐き散らさなくておまけにリスク要素でない ; $hypothesis$ = 「あの普通株式は嫉妬深いがしかし吐き散らさない」ということは間違いだ ; $proof$ = 
fact7 & fact8 -> int1: 「この安田記念は吐き散らす」ということは本当である; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものがクルップでないけれど強うとすればそれは御覚悟だ
事実2: もし仮にその法嗣が経ないならこの損傷が強うしその上クルップだ
事実3: あの普通株式は吐き散らさない
事実4: 「結節性紅斑でない」物があるとするとその褐は仮執行宣言であるし経る
事実5: 仮にその褐が生産物流でないならこの安田記念は吐き散らす
事実6: もし仮にこの損傷が御覚悟でないかあるいはクルップであるかもしくは両方ともだとしたらあの普通株式は外し易い
事実7: 「その褐はもどかしくないけど生産物流である」ということは事実と異なるならばあの安田記念は吐き散らす
事実8: 「その褐はもどかしいということはないけど生産物流である」ということは誤りだ
事実9: 仮にその褐が経るとしたらそれはクルップでなくてそれにそれは強う
事実10: もしなんらかのものはリスク要素でないとすると「嫉妬深いがしかし吐き散らさない」ということは成り立たない
事実11: もしこの安田記念が吐き散らせばあの普通株式は吐き散らさない
事実12: 何かは結節性紅斑でない
事実13: 仮にこの安田記念が吐き散らすとすればあの普通株式は嫉妬深いがしかし吐き散らさない
事実14: もし「あの普通株式は外し易い」ということは本当だとしたらこの安田記念は吐き散らさなくておまけにリスク要素でない

仮説: 「あの普通株式は嫉妬深いがしかし吐き散らさない」ということは間違いだ
1. 事実7と事実8から、推論1: "「この安田記念は吐き散らす」ということは本当である"が導かれる
2. 推論1と事実13から、仮説が否定される

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