この石板は徒らっぽい
fact1: 「もしあのＭＡＣは徒らっぽいなら「この石板は建造しない」ということは嘘だ」ということは成り立つ fact2: この石板が徒らっぽくないならばそれは鏡面修整でない fact3: なんらかの物が関ケ原合戦だけどぎこちなくない fact4: あのＭＡＣは建造しない fact5: もしあのＭＡＣが漏れ無くないとすればそれは建造しない fact6: もしもその敷島関は増分ゾーン転送でないとすれば「その決議は一定数であるかもしくは離婚する」ということは成り立たない fact7: 疾しない物は鏡面修整だしさらに徒らっぽい fact8: 「あの適格合併後は疾しがそれは何気無くない」ということは嘘ならあのＭＡＣは疾しない fact9: もしもあのＭＡＣが建造しないなら鏡面修整でない fact10: もし「あの適格合併後は溜まり易くない」ということは誤りであるならこの石板は徒らっぽい fact11: あのＭＡＣが徒らっぽくてそれが建造するとしたらこの石板は徒らっぽくない fact12: その破損は建造しない fact13: もし仮にあの適格合併後が漏れ無いならこの石板は徒らっぽい fact14: あのＭＡＣは徒らっぽくない fact15: もし「「その決議は一定数であるかもしくはそれは離婚する」ということは事実と異なる」ということは正しいとしたらあのＭＡＣは漏れ無いということはない fact16: 「全ては疾し」ということは事実である fact17: 「ある物は徒らっぽいかまたは漏れ無いということはない」ということは間違っているならそれは溜まり易くない fact18: もしあのＭＡＣが鏡面修整でないならあの適格合併後は溜まり易いかそれは漏れ無いかもしくはどちらもだ fact19: 何らかの物は言い逃れる fact20: 仮にあの適格合併後が徒らっぽいということはないならばそれは漏れ無いということはない fact21: もしあの適格合併後が漏れ無くないとするとあのＭＡＣは溜まり易いかそれは建造するか両方ともだ fact22: もし仮になにがしかのものは建設出来ないなら「疾しし何気無くない」ということは間違いである fact23: もし仮に「その敷島関は言い逃れないがしかし答え易い」ということは事実と異なるとするとそれは増分ゾーン転送でない
fact9 & fact4 -> int1: あのＭＡＣは鏡面修整でない; int1 & fact18 -> int2: あの適格合併後は溜まり易いかそれは漏れ無いかあるいは両方である; int2 & fact10 & fact13 -> hypothesis;
fact9 & fact4 -> int1: ¬{B}{a}; int1 & fact18 -> int2: ({C}{b} v {D}{b}); int2 & fact10 & fact13 -> hypothesis;
この石板は徒らっぽいということはない
fact31 -> int3: もし仮にあのＭＡＣが疾しないとすれば鏡面修整であるし徒らっぽい; fact32 -> int4: もしあの適格合併後は建設出来ないとすれば「それは疾ししそれは何気無くない」ということは誤っている;
$facts$ = fact1: 「もしあのＭＡＣは徒らっぽいなら「この石板は建造しない」ということは嘘だ」ということは成り立つ fact2: この石板が徒らっぽくないならばそれは鏡面修整でない fact3: なんらかの物が関ケ原合戦だけどぎこちなくない fact4: あのＭＡＣは建造しない fact5: もしあのＭＡＣが漏れ無くないとすればそれは建造しない fact6: もしもその敷島関は増分ゾーン転送でないとすれば「その決議は一定数であるかもしくは離婚する」ということは成り立たない fact7: 疾しない物は鏡面修整だしさらに徒らっぽい fact8: 「あの適格合併後は疾しがそれは何気無くない」ということは嘘ならあのＭＡＣは疾しない fact9: もしもあのＭＡＣが建造しないなら鏡面修整でない fact10: もし「あの適格合併後は溜まり易くない」ということは誤りであるならこの石板は徒らっぽい fact11: あのＭＡＣが徒らっぽくてそれが建造するとしたらこの石板は徒らっぽくない fact12: その破損は建造しない fact13: もし仮にあの適格合併後が漏れ無いならこの石板は徒らっぽい fact14: あのＭＡＣは徒らっぽくない fact15: もし「「その決議は一定数であるかもしくはそれは離婚する」ということは事実と異なる」ということは正しいとしたらあのＭＡＣは漏れ無いということはない fact16: 「全ては疾し」ということは事実である fact17: 「ある物は徒らっぽいかまたは漏れ無いということはない」ということは間違っているならそれは溜まり易くない fact18: もしあのＭＡＣが鏡面修整でないならあの適格合併後は溜まり易いかそれは漏れ無いかもしくはどちらもだ fact19: 何らかの物は言い逃れる fact20: 仮にあの適格合併後が徒らっぽいということはないならばそれは漏れ無いということはない fact21: もしあの適格合併後が漏れ無くないとするとあのＭＡＣは溜まり易いかそれは建造するか両方ともだ fact22: もし仮になにがしかのものは建設出来ないなら「疾しし何気無くない」ということは間違いである fact23: もし仮に「その敷島関は言い逃れないがしかし答え易い」ということは事実と異なるとするとそれは増分ゾーン転送でない ; $hypothesis$ = この石板は徒らっぽい ; $proof$ = 
fact9 & fact4 -> int1: あのＭＡＣは鏡面修整でない; int1 & fact18 -> int2: あの適格合併後は溜まり易いかそれは漏れ無いかあるいは両方である; int2 & fact10 & fact13 -> hypothesis; __PROVED__
事実1: 「もしあのＭＡＣは徒らっぽいなら「この石板は建造しない」ということは嘘だ」ということは成り立つ
事実2: この石板が徒らっぽくないならばそれは鏡面修整でない
事実3: なんらかの物が関ケ原合戦だけどぎこちなくない
事実4: あのＭＡＣは建造しない
事実5: もしあのＭＡＣが漏れ無くないとすればそれは建造しない
事実6: もしもその敷島関は増分ゾーン転送でないとすれば「その決議は一定数であるかもしくは離婚する」ということは成り立たない
事実7: 疾しない物は鏡面修整だしさらに徒らっぽい
事実8: 「あの適格合併後は疾しがそれは何気無くない」ということは嘘ならあのＭＡＣは疾しない
事実9: もしもあのＭＡＣが建造しないなら鏡面修整でない
事実10: もし「あの適格合併後は溜まり易くない」ということは誤りであるならこの石板は徒らっぽい
事実11: あのＭＡＣが徒らっぽくてそれが建造するとしたらこの石板は徒らっぽくない
事実12: その破損は建造しない
事実13: もし仮にあの適格合併後が漏れ無いならこの石板は徒らっぽい
事実14: あのＭＡＣは徒らっぽくない
事実15: もし「「その決議は一定数であるかもしくはそれは離婚する」ということは事実と異なる」ということは正しいとしたらあのＭＡＣは漏れ無いということはない
事実16: 「全ては疾し」ということは事実である
事実17: 「ある物は徒らっぽいかまたは漏れ無いということはない」ということは間違っているならそれは溜まり易くない
事実18: もしあのＭＡＣが鏡面修整でないならあの適格合併後は溜まり易いかそれは漏れ無いかもしくはどちらもだ
事実19: 何らかの物は言い逃れる
事実20: 仮にあの適格合併後が徒らっぽいということはないならばそれは漏れ無いということはない
事実21: もしあの適格合併後が漏れ無くないとするとあのＭＡＣは溜まり易いかそれは建造するか両方ともだ
事実22: もし仮になにがしかのものは建設出来ないなら「疾しし何気無くない」ということは間違いである
事実23: もし仮に「その敷島関は言い逃れないがしかし答え易い」ということは事実と異なるとするとそれは増分ゾーン転送でない

仮説: この石板は徒らっぽい
1. 事実9と事実4から、推論1: "あのＭＡＣは鏡面修整でない"が導かれる
2. 推論1と事実18から、推論2: "あの適格合併後は溜まり易いかそれは漏れ無いかあるいは両方である"が導かれる
3. 推論2と事実10と事実13から、仮説が導かれる

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