あの性道徳はすこくない
fact1: 「その史跡等は旧慣だ」ということは成り立つ fact2: もし「なにかは旧慣でない一方で思い易い」ということは成り立たないならそれはすこくない fact3: その史跡等は恵み深い fact4: もし「すこい」ものがあるとするとその北部方言は旧慣であるしその上思い易い fact5: 「その史跡等はイメージ化でなくてその上自然乾燥でない」ということは成り立たないならばあの性道徳は弱しということはない fact6: もしあの効用レベルが弱しとしたらあの性道徳はすこい fact7: あの効用レベルは思い易い fact8: 仮にその史跡等が思い易いならあの効用レベルは弱し fact9: もしもその史跡等が弱しとしたらあの効用レベルは思い易い fact10: あのっ屁はすこい fact11: 「あの性道徳は思い易い」ということは真実である fact12: もしなにかは旧慣であるとすればそれは弱し fact13: もし仮にその史跡等が旧慣だとしたら思い易い
fact13 & fact1 -> int1: その史跡等は思い易い; int1 & fact8 -> int2: あの効用レベルは弱し; int2 & fact6 -> hypothesis;
その北部方言は弱し
fact15 -> int3: 仮にその北部方言は旧慣であるなら弱し;
$facts$ = fact1: 「その史跡等は旧慣だ」ということは成り立つ fact2: もし「なにかは旧慣でない一方で思い易い」ということは成り立たないならそれはすこくない fact3: その史跡等は恵み深い fact4: もし「すこい」ものがあるとするとその北部方言は旧慣であるしその上思い易い fact5: 「その史跡等はイメージ化でなくてその上自然乾燥でない」ということは成り立たないならばあの性道徳は弱しということはない fact6: もしあの効用レベルが弱しとしたらあの性道徳はすこい fact7: あの効用レベルは思い易い fact8: 仮にその史跡等が思い易いならあの効用レベルは弱し fact9: もしもその史跡等が弱しとしたらあの効用レベルは思い易い fact10: あのっ屁はすこい fact11: 「あの性道徳は思い易い」ということは真実である fact12: もしなにかは旧慣であるとすればそれは弱し fact13: もし仮にその史跡等が旧慣だとしたら思い易い ; $hypothesis$ = あの性道徳はすこくない ; $proof$ = 
fact13 & fact1 -> int1: その史跡等は思い易い; int1 & fact8 -> int2: あの効用レベルは弱し; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 「その史跡等は旧慣だ」ということは成り立つ
事実2: もし「なにかは旧慣でない一方で思い易い」ということは成り立たないならそれはすこくない
事実3: その史跡等は恵み深い
事実4: もし「すこい」ものがあるとするとその北部方言は旧慣であるしその上思い易い
事実5: 「その史跡等はイメージ化でなくてその上自然乾燥でない」ということは成り立たないならばあの性道徳は弱しということはない
事実6: もしあの効用レベルが弱しとしたらあの性道徳はすこい
事実7: あの効用レベルは思い易い
事実8: 仮にその史跡等が思い易いならあの効用レベルは弱し
事実9: もしもその史跡等が弱しとしたらあの効用レベルは思い易い
事実10: あのっ屁はすこい
事実11: 「あの性道徳は思い易い」ということは真実である
事実12: もしなにかは旧慣であるとすればそれは弱し
事実13: もし仮にその史跡等が旧慣だとしたら思い易い

仮説: あの性道徳はすこくない
1. 事実13と事実1から、推論1: "その史跡等は思い易い"が導かれる
2. 推論1と事実8から、推論2: "あの効用レベルは弱し"が導かれる
3. 推論2と事実6から、仮説が否定される

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