その右派分子は辛気臭くない
fact1: この塵焼却場は作成例だということはない fact2: 仮にこの塵焼却場が締めっぽいならその太刀洗いは飽きっぽい fact3: もし仮にその十二日条が御園でないとすればあの塵焼却場は辛気臭いかまたはそれは締めっぽいかまたは両方ともだ fact4: その右派分子は測り難くない fact5: もし仮に「その十二日条は測り難いがしかし汚くない」ということは嘘ならばその消しゴム版画は構成出来ない fact6: 「この塵焼却場は飽きっぽいがしかし締めっぽくない」ということは成り立たないとするとその太刀洗いは測り難くない fact7: もしその太刀洗いが飽きっぽいとしたらその右派分子は辛気臭くないし作成例でない fact8: その消しゴム版画は辛気臭くない fact9: 「この塵焼却場は締めっぽい一方でそれは汚くない」ということは誤りである fact10: もしもこの塵焼却場は締めっぽいということはないとすると「それは御園であるということはない」ということは成り立つ fact11: もしその消しゴム版画が御園であるしさらに汚いならばあの十二日条は御園だということはない fact12: その消しゴム版画は汚いということはない fact13: その右派分子は汚い fact14: もしこの塵焼却場は御園でないならば「その十二日条は測り難いけれどそれは汚くない」ということは成り立つということはない fact15: もし仮にその消しゴム版画が飽きっぽくないならばそれは構成出来ない fact16: その消しゴム版画は構成出来る fact17: この塵焼却場は焼け出さない
void -> assump1: 以下のように仮定する。この塵焼却場は締めっぽくない; fact10 & assump1 -> int1: この塵焼却場は御園でない; int1 & fact14 -> int2: 「その十二日条は測り難いけれど汚くない」ということは成り立たない; int2 & fact5 -> int3: その消しゴム版画は構成出来ない; int3 & fact16 -> int4: これは矛盾である; [assump1] & int4 -> int5: この塵焼却場は締めっぽい; int5 & fact2 -> int6: その太刀洗いは飽きっぽい; int6 & fact7 -> int7: その右派分子は辛気臭くないしおまけに作成例でない; int7 -> hypothesis;
その右派分子は辛気臭い
$facts$ = fact1: この塵焼却場は作成例だということはない fact2: 仮にこの塵焼却場が締めっぽいならその太刀洗いは飽きっぽい fact3: もし仮にその十二日条が御園でないとすればあの塵焼却場は辛気臭いかまたはそれは締めっぽいかまたは両方ともだ fact4: その右派分子は測り難くない fact5: もし仮に「その十二日条は測り難いがしかし汚くない」ということは嘘ならばその消しゴム版画は構成出来ない fact6: 「この塵焼却場は飽きっぽいがしかし締めっぽくない」ということは成り立たないとするとその太刀洗いは測り難くない fact7: もしその太刀洗いが飽きっぽいとしたらその右派分子は辛気臭くないし作成例でない fact8: その消しゴム版画は辛気臭くない fact9: 「この塵焼却場は締めっぽい一方でそれは汚くない」ということは誤りである fact10: もしもこの塵焼却場は締めっぽいということはないとすると「それは御園であるということはない」ということは成り立つ fact11: もしその消しゴム版画が御園であるしさらに汚いならばあの十二日条は御園だということはない fact12: その消しゴム版画は汚いということはない fact13: その右派分子は汚い fact14: もしこの塵焼却場は御園でないならば「その十二日条は測り難いけれどそれは汚くない」ということは成り立つということはない fact15: もし仮にその消しゴム版画が飽きっぽくないならばそれは構成出来ない fact16: その消しゴム版画は構成出来る fact17: この塵焼却場は焼け出さない ; $hypothesis$ = その右派分子は辛気臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この塵焼却場は締めっぽくない; fact10 & assump1 -> int1: この塵焼却場は御園でない; int1 & fact14 -> int2: 「その十二日条は測り難いけれど汚くない」ということは成り立たない; int2 & fact5 -> int3: その消しゴム版画は構成出来ない; int3 & fact16 -> int4: これは矛盾である; [assump1] & int4 -> int5: この塵焼却場は締めっぽい; int5 & fact2 -> int6: その太刀洗いは飽きっぽい; int6 & fact7 -> int7: その右派分子は辛気臭くないしおまけに作成例でない; int7 -> hypothesis; __PROVED__
事実1: この塵焼却場は作成例だということはない
事実2: 仮にこの塵焼却場が締めっぽいならその太刀洗いは飽きっぽい
事実3: もし仮にその十二日条が御園でないとすればあの塵焼却場は辛気臭いかまたはそれは締めっぽいかまたは両方ともだ
事実4: その右派分子は測り難くない
事実5: もし仮に「その十二日条は測り難いがしかし汚くない」ということは嘘ならばその消しゴム版画は構成出来ない
事実6: 「この塵焼却場は飽きっぽいがしかし締めっぽくない」ということは成り立たないとするとその太刀洗いは測り難くない
事実7: もしその太刀洗いが飽きっぽいとしたらその右派分子は辛気臭くないし作成例でない
事実8: その消しゴム版画は辛気臭くない
事実9: 「この塵焼却場は締めっぽい一方でそれは汚くない」ということは誤りである
事実10: もしもこの塵焼却場は締めっぽいということはないとすると「それは御園であるということはない」ということは成り立つ
事実11: もしその消しゴム版画が御園であるしさらに汚いならばあの十二日条は御園だということはない
事実12: その消しゴム版画は汚いということはない
事実13: その右派分子は汚い
事実14: もしこの塵焼却場は御園でないならば「その十二日条は測り難いけれどそれは汚くない」ということは成り立つということはない
事実15: もし仮にその消しゴム版画が飽きっぽくないならばそれは構成出来ない
事実16: その消しゴム版画は構成出来る
事実17: この塵焼却場は焼け出さない

仮説: その右派分子は辛気臭くない
1. 仮定1: 以下のように仮定する。この塵焼却場は締めっぽくない
2. 事実10と仮定1から、推論1: "この塵焼却場は御園でない"が導かれる
3. 推論1と事実14から、推論2: "「その十二日条は測り難いけれど汚くない」ということは成り立たない"が導かれる
4. 推論2と事実5から、推論3: "その消しゴム版画は構成出来ない"が導かれる
5. 推論3と事実16から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この塵焼却場は締めっぽい"が導かれる
7. 推論5と事実2から、推論6: "その太刀洗いは飽きっぽい"が導かれる
8. 推論6と事実7から、推論7: "その右派分子は辛気臭くないしおまけに作成例でない"が導かれる
9. 推論7から、仮説が導かれる

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