その政治運動は生温くない
fact1: もしその政治運動は論証するなら「それは生温くない」ということは真実だ fact2: あの娑婆世界は論証する fact3: その政治運動はモニタリングする fact4: その政治運動が生温いなら題でない fact5: その中丹田は到来するということはないかもしくは市場的取り引きであるかあるいはどちらもだ fact6: その政治運動は気迷いでない fact7: もし仮になんらかの物は見過ごし難くないとしたら「外し易くて論証しない」ということは本当でない fact8: その政治運動は論証する fact9: あの本調子は論証する
fact1 & fact8 -> hypothesis;
fact1 & fact8 -> hypothesis;
その政治運動は生温い
fact10 -> int1: もし「その政治運動は見過ごし難くない」ということは事実ならば「外し易くてそれに論証しない」ということは間違っている;
$facts$ = fact1: もしその政治運動は論証するなら「それは生温くない」ということは真実だ fact2: あの娑婆世界は論証する fact3: その政治運動はモニタリングする fact4: その政治運動が生温いなら題でない fact5: その中丹田は到来するということはないかもしくは市場的取り引きであるかあるいはどちらもだ fact6: その政治運動は気迷いでない fact7: もし仮になんらかの物は見過ごし難くないとしたら「外し易くて論証しない」ということは本当でない fact8: その政治運動は論証する fact9: あの本調子は論証する ; $hypothesis$ = その政治運動は生温くない ; $proof$ = 
fact1 & fact8 -> hypothesis; __PROVED__
事実1: もしその政治運動は論証するなら「それは生温くない」ということは真実だ
事実2: あの娑婆世界は論証する
事実3: その政治運動はモニタリングする
事実4: その政治運動が生温いなら題でない
事実5: その中丹田は到来するということはないかもしくは市場的取り引きであるかあるいはどちらもだ
事実6: その政治運動は気迷いでない
事実7: もし仮になんらかの物は見過ごし難くないとしたら「外し易くて論証しない」ということは本当でない
事実8: その政治運動は論証する
事実9: あの本調子は論証する

仮説: その政治運動は生温くない
1. 事実1と事実8から、仮説が導かれる

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