その立ち会い外取り引きは相談し易くない
fact1: このペリー・ピーは相談し易いということはない fact2: もし仮に冗談ぽくないものがあるとすればその立ち会い外取り引きは繰り込まない fact3: 仮にこのペリー・ピーが相談し易いということはないならばそれは液晶モニターでない fact4: 「近未来でない」物はある fact5: もし仮に「ある物は繰り込まないがしかし液晶モニターだ」ということは本当であるとするとそれは相談し易くない fact6: 「あの馬上杯は見受けるかまたはそれは習慣化しないかあるいはどちらもである」ということは嘘だとすればこのペリー・ピーは液晶モニターである fact7: もしも「冗談ぽくない」ものがあるとしたらその立ち会い外取り引きは繰り込まない一方で液晶モニターである fact8: 「あの男性向けは冗談ぽくない」ということは確かだ fact9: 仮にとある物が繰り込むしかつ液晶モニターならばそれは相談し易くない fact10: 仮にあの男性向けが冗談ぽいしかつ繰り込むとすれば「液晶モニターだということはない」ということは間違いでない
fact8 -> int1: なにがしかの物は冗談ぽくない; int1 & fact7 -> int2: その立ち会い外取り引きは繰り込むということはないがしかしそれは液晶モニターだ; fact5 -> int3: もし仮にその立ち会い外取り引きが繰り込まない一方でそれが液晶モニターならばそれは相談し易くない; int2 & int3 -> hypothesis;
fact8 -> int1: (Ex): ¬{A}x; int1 & fact7 -> int2: (¬{B}{a} & {C}{a}); fact5 -> int3: (¬{B}{a} & {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
何かは見受けない
fact12 & fact11 -> int4: このペリー・ピーは液晶モニターでない;
$facts$ = fact1: このペリー・ピーは相談し易いということはない fact2: もし仮に冗談ぽくないものがあるとすればその立ち会い外取り引きは繰り込まない fact3: 仮にこのペリー・ピーが相談し易いということはないならばそれは液晶モニターでない fact4: 「近未来でない」物はある fact5: もし仮に「ある物は繰り込まないがしかし液晶モニターだ」ということは本当であるとするとそれは相談し易くない fact6: 「あの馬上杯は見受けるかまたはそれは習慣化しないかあるいはどちらもである」ということは嘘だとすればこのペリー・ピーは液晶モニターである fact7: もしも「冗談ぽくない」ものがあるとしたらその立ち会い外取り引きは繰り込まない一方で液晶モニターである fact8: 「あの男性向けは冗談ぽくない」ということは確かだ fact9: 仮にとある物が繰り込むしかつ液晶モニターならばそれは相談し易くない fact10: 仮にあの男性向けが冗談ぽいしかつ繰り込むとすれば「液晶モニターだということはない」ということは間違いでない ; $hypothesis$ = その立ち会い外取り引きは相談し易くない ; $proof$ = 
fact8 -> int1: なにがしかの物は冗談ぽくない; int1 & fact7 -> int2: その立ち会い外取り引きは繰り込むということはないがしかしそれは液晶モニターだ; fact5 -> int3: もし仮にその立ち会い外取り引きが繰り込まない一方でそれが液晶モニターならばそれは相談し易くない; int2 & int3 -> hypothesis; __PROVED__
事実1: このペリー・ピーは相談し易いということはない
事実2: もし仮に冗談ぽくないものがあるとすればその立ち会い外取り引きは繰り込まない
事実3: 仮にこのペリー・ピーが相談し易いということはないならばそれは液晶モニターでない
事実4: 「近未来でない」物はある
事実5: もし仮に「ある物は繰り込まないがしかし液晶モニターだ」ということは本当であるとするとそれは相談し易くない
事実6: 「あの馬上杯は見受けるかまたはそれは習慣化しないかあるいはどちらもである」ということは嘘だとすればこのペリー・ピーは液晶モニターである
事実7: もしも「冗談ぽくない」ものがあるとしたらその立ち会い外取り引きは繰り込まない一方で液晶モニターである
事実8: 「あの男性向けは冗談ぽくない」ということは確かだ
事実9: 仮にとある物が繰り込むしかつ液晶モニターならばそれは相談し易くない
事実10: 仮にあの男性向けが冗談ぽいしかつ繰り込むとすれば「液晶モニターだということはない」ということは間違いでない

仮説: その立ち会い外取り引きは相談し易くない
1. 事実8から、推論1: "なにがしかの物は冗談ぽくない"が導かれる
2. 推論1と事実7から、推論2: "その立ち会い外取り引きは繰り込むということはないがしかしそれは液晶モニターだ"が導かれる
3. 事実5から、推論3: "もし仮にその立ち会い外取り引きが繰り込まない一方でそれが液晶モニターならばそれは相談し易くない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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