「あの鉄片は等しい」ということは成り立つ
fact1: 仮にあの鉄片はすんごいしまたたくし込めば「それは等しくない」ということは事実である fact2: もしその学校名が狂おしいとするとあの鉄片は等しい fact3: もし仮に「氷河期でない」物はあるとすると「その時政はすんごいかまたは汲み立てだ」ということは成り立つということはない fact4: あの鉄片は氷河期でない fact5: 「引き出し易い」物はある fact6: もしとある物はメンズフロアであるということはないならばそれは狂おしいしおまけに引き出し易い fact7: その学校名は狂おしくない fact8: 「仮に「その時政は汲み立てであるか変化し易い」ということは成り立つということはないならその時政は狂おしくない」ということは事実だ fact9: その時政は汲み立てでない fact10: もしその時政が氷河期でないならあの鉄片は変化し易くないししかも氷河期でない fact11: あの押し出し成型は汲み立てで氷河期である fact12: あの鉄片はたくし込む fact13: この誓言は氷河期だ fact14: もし仮にあの鉄片は変化し易くないしさらに氷河期だということはないならばすんごい fact15: もしとある物は引き出し易くないとすると「その時政はメンズフロアであるかまたは汲み立てであるかまたはどちらもだ」ということは本当でない fact16: 何らかのものが引き出し易いということはないならその時政は汲み立てでない fact17: 「仮に上昇し易いものが麗しとするとそれはポップヒントであるということはない」ということは事実と異ならない fact18: もしもその時政が氷河期でないならあの鉄片は氷河期でない fact19: その学校名は狂おしいということはないしかつそれは引き出し易くない fact20: もし仮にあの鉄片が変化し易くない一方で氷河期ならそれはすんごい fact21: 「とあるものはメンズフロアであるかあるいは汲み立てである」ということは誤っているとしたら「氷河期だということはない」ということは真実である
fact19 -> int1: その学校名は引き出し易くない; int1 -> int2: なにかは引き出し易いということはない; int2 & fact15 -> int3: 「「その時政はメンズフロアであるかもしくはそれは汲み立てであるか両方ともである」ということは事実だ」ということは事実と異なる; fact21 -> int4: もし仮に「その時政はメンズフロアであるかあるいは汲み立てだ」ということは成り立たないならば氷河期でない; int3 & int4 -> int5: その時政は氷河期でない; int5 & fact10 -> int6: あの鉄片は変化し易いということはなくてしかも氷河期でない; int6 & fact14 -> int7: あの鉄片はすんごい; int7 & fact12 -> int8: あの鉄片はすんごいしたくし込む; int8 & fact1 -> hypothesis;
もしその時政が上昇し易いし麗しとしたらそれはポップヒントでない
fact22 -> hypothesis;
$facts$ = fact1: 仮にあの鉄片はすんごいしまたたくし込めば「それは等しくない」ということは事実である fact2: もしその学校名が狂おしいとするとあの鉄片は等しい fact3: もし仮に「氷河期でない」物はあるとすると「その時政はすんごいかまたは汲み立てだ」ということは成り立つということはない fact4: あの鉄片は氷河期でない fact5: 「引き出し易い」物はある fact6: もしとある物はメンズフロアであるということはないならばそれは狂おしいしおまけに引き出し易い fact7: その学校名は狂おしくない fact8: 「仮に「その時政は汲み立てであるか変化し易い」ということは成り立つということはないならその時政は狂おしくない」ということは事実だ fact9: その時政は汲み立てでない fact10: もしその時政が氷河期でないならあの鉄片は変化し易くないししかも氷河期でない fact11: あの押し出し成型は汲み立てで氷河期である fact12: あの鉄片はたくし込む fact13: この誓言は氷河期だ fact14: もし仮にあの鉄片は変化し易くないしさらに氷河期だということはないならばすんごい fact15: もしとある物は引き出し易くないとすると「その時政はメンズフロアであるかまたは汲み立てであるかまたはどちらもだ」ということは本当でない fact16: 何らかのものが引き出し易いということはないならその時政は汲み立てでない fact17: 「仮に上昇し易いものが麗しとするとそれはポップヒントであるということはない」ということは事実と異ならない fact18: もしもその時政が氷河期でないならあの鉄片は氷河期でない fact19: その学校名は狂おしいということはないしかつそれは引き出し易くない fact20: もし仮にあの鉄片が変化し易くない一方で氷河期ならそれはすんごい fact21: 「とあるものはメンズフロアであるかあるいは汲み立てである」ということは誤っているとしたら「氷河期だということはない」ということは真実である ; $hypothesis$ = 「あの鉄片は等しい」ということは成り立つ ; $proof$ = 
fact19 -> int1: その学校名は引き出し易くない; int1 -> int2: なにかは引き出し易いということはない; int2 & fact15 -> int3: 「「その時政はメンズフロアであるかもしくはそれは汲み立てであるか両方ともである」ということは事実だ」ということは事実と異なる; fact21 -> int4: もし仮に「その時政はメンズフロアであるかあるいは汲み立てだ」ということは成り立たないならば氷河期でない; int3 & int4 -> int5: その時政は氷河期でない; int5 & fact10 -> int6: あの鉄片は変化し易いということはなくてしかも氷河期でない; int6 & fact14 -> int7: あの鉄片はすんごい; int7 & fact12 -> int8: あの鉄片はすんごいしたくし込む; int8 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの鉄片はすんごいしまたたくし込めば「それは等しくない」ということは事実である
事実2: もしその学校名が狂おしいとするとあの鉄片は等しい
事実3: もし仮に「氷河期でない」物はあるとすると「その時政はすんごいかまたは汲み立てだ」ということは成り立つということはない
事実4: あの鉄片は氷河期でない
事実5: 「引き出し易い」物はある
事実6: もしとある物はメンズフロアであるということはないならばそれは狂おしいしおまけに引き出し易い
事実7: その学校名は狂おしくない
事実8: 「仮に「その時政は汲み立てであるか変化し易い」ということは成り立つということはないならその時政は狂おしくない」ということは事実だ
事実9: その時政は汲み立てでない
事実10: もしその時政が氷河期でないならあの鉄片は変化し易くないししかも氷河期でない
事実11: あの押し出し成型は汲み立てで氷河期である
事実12: あの鉄片はたくし込む
事実13: この誓言は氷河期だ
事実14: もし仮にあの鉄片は変化し易くないしさらに氷河期だということはないならばすんごい
事実15: もしとある物は引き出し易くないとすると「その時政はメンズフロアであるかまたは汲み立てであるかまたはどちらもだ」ということは本当でない
事実16: 何らかのものが引き出し易いということはないならその時政は汲み立てでない
事実17: 「仮に上昇し易いものが麗しとするとそれはポップヒントであるということはない」ということは事実と異ならない
事実18: もしもその時政が氷河期でないならあの鉄片は氷河期でない
事実19: その学校名は狂おしいということはないしかつそれは引き出し易くない
事実20: もし仮にあの鉄片が変化し易くない一方で氷河期ならそれはすんごい
事実21: 「とあるものはメンズフロアであるかあるいは汲み立てである」ということは誤っているとしたら「氷河期だということはない」ということは真実である

仮説: 「あの鉄片は等しい」ということは成り立つ
1. 事実19から、推論1: "その学校名は引き出し易くない"が導かれる
2. 推論1から、推論2: "なにかは引き出し易いということはない"が導かれる
3. 推論2と事実15から、推論3: "「「その時政はメンズフロアであるかもしくはそれは汲み立てであるか両方ともである」ということは事実だ」ということは事実と異なる"が導かれる
4. 事実21から、推論4: "もし仮に「その時政はメンズフロアであるかあるいは汲み立てだ」ということは成り立たないならば氷河期でない"が導かれる
5. 推論3と推論4から、推論5: "その時政は氷河期でない"が導かれる
6. 推論5と事実10から、推論6: "あの鉄片は変化し易いということはなくてしかも氷河期でない"が導かれる
7. 推論6と事実14から、推論7: "あの鉄片はすんごい"が導かれる
8. 推論7と事実12から、推論8: "あの鉄片はすんごいしたくし込む"が導かれる
9. 推論8と事実1から、仮説が否定される

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