そのトローリングは南露である
fact1: もしもこの御箱が南露であるとすればそのトローリングは操作し易い fact2: この安全面は巡業する fact3: この御箱は巡業するか操作し易いかあるいは両方だ fact4: この御箱が巡業しないしさらに南露でないとしたらそのトローリングは南露でない fact5: もしもこの御箱が操作し易いならばあのトローリングは南露だ fact6: もしもこの御箱が巡業すればそのトローリングは南露だ fact7: 操作し易くないものは巡業するかもしくは口汚いかもしくはどちらもである fact8: 仮に「そのトローリングはけちけちするということはないかあるいは現われ易いかまたはどちらもである」ということは成り立たないならば「この御箱はディスプレーする」ということは成り立つ fact9: あのディープキスは強制移住であるか操作し易いかどちらもである fact10: 操作し易いものは巡業するということはないしまた南露でない
fact3 & fact6 & fact5 -> hypothesis;
fact3 & fact6 & fact5 -> hypothesis;
そのトローリングは南露でない
fact12 -> int1: この御箱が操作し易いとするとそれは巡業しなくて南露でない;
$facts$ = fact1: もしもこの御箱が南露であるとすればそのトローリングは操作し易い fact2: この安全面は巡業する fact3: この御箱は巡業するか操作し易いかあるいは両方だ fact4: この御箱が巡業しないしさらに南露でないとしたらそのトローリングは南露でない fact5: もしもこの御箱が操作し易いならばあのトローリングは南露だ fact6: もしもこの御箱が巡業すればそのトローリングは南露だ fact7: 操作し易くないものは巡業するかもしくは口汚いかもしくはどちらもである fact8: 仮に「そのトローリングはけちけちするということはないかあるいは現われ易いかまたはどちらもである」ということは成り立たないならば「この御箱はディスプレーする」ということは成り立つ fact9: あのディープキスは強制移住であるか操作し易いかどちらもである fact10: 操作し易いものは巡業するということはないしまた南露でない ; $hypothesis$ = そのトローリングは南露である ; $proof$ = 
fact3 & fact6 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの御箱が南露であるとすればそのトローリングは操作し易い
事実2: この安全面は巡業する
事実3: この御箱は巡業するか操作し易いかあるいは両方だ
事実4: この御箱が巡業しないしさらに南露でないとしたらそのトローリングは南露でない
事実5: もしもこの御箱が操作し易いならばあのトローリングは南露だ
事実6: もしもこの御箱が巡業すればそのトローリングは南露だ
事実7: 操作し易くないものは巡業するかもしくは口汚いかもしくはどちらもである
事実8: 仮に「そのトローリングはけちけちするということはないかあるいは現われ易いかまたはどちらもである」ということは成り立たないならば「この御箱はディスプレーする」ということは成り立つ
事実9: あのディープキスは強制移住であるか操作し易いかどちらもである
事実10: 操作し易いものは巡業するということはないしまた南露でない

仮説: そのトローリングは南露である
1. 事実3と事実6と事実5から、仮説が導かれる

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