その悪酔いは雛でない
fact1: なんらかのものは君らしくないならば「捜索するということはないが代筆する」ということは事実でない fact2: もしもある物がすりゃ良くないとしたら進み易いということはないしその上それは当て付けがましい fact3: 「この受容力は怒りっぽくないかまたはそれは笑い出さないかもしくは両方ともである」ということは偽である fact4: 「「この受容力はすりゃ良くないかあるいは笑い出さないかもしくは両方ともである」ということは確かでない」ということは成り立つとしたらその悪酔いはすりゃ良くない fact5: 「豪華であるということはない」ものはある fact6: もし仮になにかは気触れないとしたら雛でまたすりゃ良い fact7: 仮にその悪酔いは進み易くないが当て付けがましいならばそれは雛だ fact8: その悪酔いは笑い出す fact9: もし仮にこの受容力は雛でない一方で進み易いとすればそれはすりゃ良い fact10: 「この受容力はすりゃ良くないかあるいはそれは笑い出さないか両方だ」ということは成り立たない fact11: もし「この受容力は捜索するということはないが代筆する」ということは事実と異なるとすれば気触れない fact12: もしもその悪酔いが笑い出さないなら進み易くない
fact2 -> int1: もしもその悪酔いがすりゃ良いということはないとすればそれは進み易くないが当て付けがましい; fact4 & fact10 -> int2: その悪酔いはすりゃ良くない; int1 & int2 -> int3: その悪酔いは進み易くない一方で当て付けがましい; int3 & fact7 -> hypothesis;
「その悪酔いは推測するということはないか笑い出さないかもしくは両方ともだ」ということは間違いだ
fact15 -> int4: もしこの受容力が気触れないならば雛であるしすりゃ良い; fact13 -> int5: 仮にこの受容力は君らしくないとすると「それは捜索するということはないけど代筆する」ということは成り立たない;
$facts$ = fact1: なんらかのものは君らしくないならば「捜索するということはないが代筆する」ということは事実でない fact2: もしもある物がすりゃ良くないとしたら進み易いということはないしその上それは当て付けがましい fact3: 「この受容力は怒りっぽくないかまたはそれは笑い出さないかもしくは両方ともである」ということは偽である fact4: 「「この受容力はすりゃ良くないかあるいは笑い出さないかもしくは両方ともである」ということは確かでない」ということは成り立つとしたらその悪酔いはすりゃ良くない fact5: 「豪華であるということはない」ものはある fact6: もし仮になにかは気触れないとしたら雛でまたすりゃ良い fact7: 仮にその悪酔いは進み易くないが当て付けがましいならばそれは雛だ fact8: その悪酔いは笑い出す fact9: もし仮にこの受容力は雛でない一方で進み易いとすればそれはすりゃ良い fact10: 「この受容力はすりゃ良くないかあるいはそれは笑い出さないか両方だ」ということは成り立たない fact11: もし「この受容力は捜索するということはないが代筆する」ということは事実と異なるとすれば気触れない fact12: もしもその悪酔いが笑い出さないなら進み易くない ; $hypothesis$ = その悪酔いは雛でない ; $proof$ = 
fact2 -> int1: もしもその悪酔いがすりゃ良いということはないとすればそれは進み易くないが当て付けがましい; fact4 & fact10 -> int2: その悪酔いはすりゃ良くない; int1 & int2 -> int3: その悪酔いは進み易くない一方で当て付けがましい; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: なんらかのものは君らしくないならば「捜索するということはないが代筆する」ということは事実でない
事実2: もしもある物がすりゃ良くないとしたら進み易いということはないしその上それは当て付けがましい
事実3: 「この受容力は怒りっぽくないかまたはそれは笑い出さないかもしくは両方ともである」ということは偽である
事実4: 「「この受容力はすりゃ良くないかあるいは笑い出さないかもしくは両方ともである」ということは確かでない」ということは成り立つとしたらその悪酔いはすりゃ良くない
事実5: 「豪華であるということはない」ものはある
事実6: もし仮になにかは気触れないとしたら雛でまたすりゃ良い
事実7: 仮にその悪酔いは進み易くないが当て付けがましいならばそれは雛だ
事実8: その悪酔いは笑い出す
事実9: もし仮にこの受容力は雛でない一方で進み易いとすればそれはすりゃ良い
事実10: 「この受容力はすりゃ良くないかあるいはそれは笑い出さないか両方だ」ということは成り立たない
事実11: もし「この受容力は捜索するということはないが代筆する」ということは事実と異なるとすれば気触れない
事実12: もしもその悪酔いが笑い出さないなら進み易くない

仮説: その悪酔いは雛でない
1. 事実2から、推論1: "もしもその悪酔いがすりゃ良いということはないとすればそれは進み易くないが当て付けがましい"が導かれる
2. 事実4と事実10から、推論2: "その悪酔いはすりゃ良くない"が導かれる
3. 推論1と推論2から、推論3: "その悪酔いは進み易くない一方で当て付けがましい"が導かれる
4. 推論3と事実7から、仮説が否定される

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