その仮病は寒し
fact1: 「「パラフレーズするし忍び寄る」ということは偽である」物はある fact2: もしもその仮病がパラフレーズするとすると工場側である fact3: その仮病はパラフレーズする fact4: この賃金等はパラフレーズする fact5: 仮になんらかのものは工場側であるとすればそれは寒し
fact2 & fact3 -> int1: その仮病は工場側だ; fact5 -> int2: もし仮にその仮病は工場側であるとしたら寒し; int1 & int2 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
その仮病は寒しない
$facts$ = fact1: 「「パラフレーズするし忍び寄る」ということは偽である」物はある fact2: もしもその仮病がパラフレーズするとすると工場側である fact3: その仮病はパラフレーズする fact4: この賃金等はパラフレーズする fact5: 仮になんらかのものは工場側であるとすればそれは寒し ; $hypothesis$ = その仮病は寒し ; $proof$ = 
fact2 & fact3 -> int1: その仮病は工場側だ; fact5 -> int2: もし仮にその仮病は工場側であるとしたら寒し; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「パラフレーズするし忍び寄る」ということは偽である」物はある
事実2: もしもその仮病がパラフレーズするとすると工場側である
事実3: その仮病はパラフレーズする
事実4: この賃金等はパラフレーズする
事実5: 仮になんらかのものは工場側であるとすればそれは寒し

仮説: その仮病は寒し
1. 事実2と事実3から、推論1: "その仮病は工場側だ"が導かれる
2. 事実5から、推論2: "もし仮にその仮病は工場側であるとしたら寒し"が導かれる
3. 推論1と推論2から、仮説が導かれる

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