あの登用は排尿しない
fact1: 「排尿する」物はある fact2: あの登用は結わない fact3: もし「あの登用はくよくよするけれど混同しない」ということは間違いだとしたらくよくよしない fact4: なんらかのものが混同する一方でそれがくよくよしないとすれば排尿しない fact5: もし「「誘惑し続けない」ということは間違っていない」ものがあるとするとあの登用は排尿するということはない fact6: 「五十パーセント台である」物はある fact7: 「誘惑し続けない」物はある fact8: もし「あの訴訟実務は誘惑し続けない一方でそれは守れる」ということは成り立たないとすればあの登用は守れない fact9: 「排尿しない」物はある fact10: 重火器は混同するがくよくよしない fact11: 仮になんらかのものがくよくよしないとしたらそれは誘惑し続けるしかつ排尿する fact12: とあるものは交ぜる fact13: もしもなんらかのものは排尿しないなら「誘惑し続けないしおまけに守れる」ということは嘘だ fact14: あるものは誘惑し続ける fact15: あの登用は軟らかくない
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
「あの登用は排尿する」ということは確かだ
fact17 -> int1: もし仮にあの登用がくよくよしないとすればそれは誘惑し続けるし排尿する;
$facts$ = fact1: 「排尿する」物はある fact2: あの登用は結わない fact3: もし「あの登用はくよくよするけれど混同しない」ということは間違いだとしたらくよくよしない fact4: なんらかのものが混同する一方でそれがくよくよしないとすれば排尿しない fact5: もし「「誘惑し続けない」ということは間違っていない」ものがあるとするとあの登用は排尿するということはない fact6: 「五十パーセント台である」物はある fact7: 「誘惑し続けない」物はある fact8: もし「あの訴訟実務は誘惑し続けない一方でそれは守れる」ということは成り立たないとすればあの登用は守れない fact9: 「排尿しない」物はある fact10: 重火器は混同するがくよくよしない fact11: 仮になんらかのものがくよくよしないとしたらそれは誘惑し続けるしかつ排尿する fact12: とあるものは交ぜる fact13: もしもなんらかのものは排尿しないなら「誘惑し続けないしおまけに守れる」ということは嘘だ fact14: あるものは誘惑し続ける fact15: あの登用は軟らかくない ; $hypothesis$ = あの登用は排尿しない ; $proof$ = 
fact7 & fact5 -> hypothesis; __PROVED__
事実1: 「排尿する」物はある
事実2: あの登用は結わない
事実3: もし「あの登用はくよくよするけれど混同しない」ということは間違いだとしたらくよくよしない
事実4: なんらかのものが混同する一方でそれがくよくよしないとすれば排尿しない
事実5: もし「「誘惑し続けない」ということは間違っていない」ものがあるとするとあの登用は排尿するということはない
事実6: 「五十パーセント台である」物はある
事実7: 「誘惑し続けない」物はある
事実8: もし「あの訴訟実務は誘惑し続けない一方でそれは守れる」ということは成り立たないとすればあの登用は守れない
事実9: 「排尿しない」物はある
事実10: 重火器は混同するがくよくよしない
事実11: 仮になんらかのものがくよくよしないとしたらそれは誘惑し続けるしかつ排尿する
事実12: とあるものは交ぜる
事実13: もしもなんらかのものは排尿しないなら「誘惑し続けないしおまけに守れる」ということは嘘だ
事実14: あるものは誘惑し続ける
事実15: あの登用は軟らかくない

仮説: あの登用は排尿しない
1. 事実7と事実5から、仮説が導かれる

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