あの賤民はパラフレーズしない
fact1: もしもあの適職がパラフレーズしないし建て主でないとしたらあの賤民はパラフレーズするということはない fact2: もしもあの適職が帰隊するとするとあの賤民は重苦しいけれど用い易くない fact3: あの適職は帰隊する fact4: あのこたは各学年だ一方でパラフレーズしない fact5: あの適職は用い易い fact6: もし仮にあの適職は帰隊するがしかし用い易くないとしたらそれはパラフレーズする fact7: その好酸球は帰隊するがそれは生産資源でない fact8: もし仮に重苦しい物が用い易いということはないとしたらそれはパラフレーズする fact9: もしもあの賤民が用い易いとしたらあの適職はパラフレーズする一方で重苦しくない fact10: あの適職が重苦しいとしたらあの賤民はパラフレーズする一方で帰隊しない fact11: もしもあの賤民は重苦しいが用い易くないとしたらそれは帰隊する fact12: 重苦しくてかつ用い易い物はパラフレーズする fact13: 「あの賤民は帰隊する」ということは成り立つ fact14: あの賤民は喜悦しない fact15: その組合財産は重苦しい fact16: もしあの賤民は重苦しいしそれに用い易いとしたら「それはパラフレーズする」ということは成り立つ
fact2 & fact3 -> int1: あの賤民は重苦しい一方でそれは用い易くない; fact8 -> int2: もしあの賤民が重苦しいがしかし用い易くないとするとそれはパラフレーズする; int1 & int2 -> hypothesis;
あの賤民はパラフレーズするということはない
$facts$ = fact1: もしもあの適職がパラフレーズしないし建て主でないとしたらあの賤民はパラフレーズするということはない fact2: もしもあの適職が帰隊するとするとあの賤民は重苦しいけれど用い易くない fact3: あの適職は帰隊する fact4: あのこたは各学年だ一方でパラフレーズしない fact5: あの適職は用い易い fact6: もし仮にあの適職は帰隊するがしかし用い易くないとしたらそれはパラフレーズする fact7: その好酸球は帰隊するがそれは生産資源でない fact8: もし仮に重苦しい物が用い易いということはないとしたらそれはパラフレーズする fact9: もしもあの賤民が用い易いとしたらあの適職はパラフレーズする一方で重苦しくない fact10: あの適職が重苦しいとしたらあの賤民はパラフレーズする一方で帰隊しない fact11: もしもあの賤民は重苦しいが用い易くないとしたらそれは帰隊する fact12: 重苦しくてかつ用い易い物はパラフレーズする fact13: 「あの賤民は帰隊する」ということは成り立つ fact14: あの賤民は喜悦しない fact15: その組合財産は重苦しい fact16: もしあの賤民は重苦しいしそれに用い易いとしたら「それはパラフレーズする」ということは成り立つ ; $hypothesis$ = あの賤民はパラフレーズしない ; $proof$ = 
fact2 & fact3 -> int1: あの賤民は重苦しい一方でそれは用い易くない; fact8 -> int2: もしあの賤民が重苦しいがしかし用い易くないとするとそれはパラフレーズする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの適職がパラフレーズしないし建て主でないとしたらあの賤民はパラフレーズするということはない
事実2: もしもあの適職が帰隊するとするとあの賤民は重苦しいけれど用い易くない
事実3: あの適職は帰隊する
事実4: あのこたは各学年だ一方でパラフレーズしない
事実5: あの適職は用い易い
事実6: もし仮にあの適職は帰隊するがしかし用い易くないとしたらそれはパラフレーズする
事実7: その好酸球は帰隊するがそれは生産資源でない
事実8: もし仮に重苦しい物が用い易いということはないとしたらそれはパラフレーズする
事実9: もしもあの賤民が用い易いとしたらあの適職はパラフレーズする一方で重苦しくない
事実10: あの適職が重苦しいとしたらあの賤民はパラフレーズする一方で帰隊しない
事実11: もしもあの賤民は重苦しいが用い易くないとしたらそれは帰隊する
事実12: 重苦しくてかつ用い易い物はパラフレーズする
事実13: 「あの賤民は帰隊する」ということは成り立つ
事実14: あの賤民は喜悦しない
事実15: その組合財産は重苦しい
事実16: もしあの賤民は重苦しいしそれに用い易いとしたら「それはパラフレーズする」ということは成り立つ

仮説: あの賤民はパラフレーズしない
1. 事実2と事実3から、推論1: "あの賤民は重苦しい一方でそれは用い易くない"が導かれる
2. 事実8から、推論2: "もしあの賤民が重苦しいがしかし用い易くないとするとそれはパラフレーズする"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。