この柄は設計変更である
fact1: その生パン粉は設計変更でない fact2: もし仮に予測し難くないものが密約するとしたらそれは設計変更でない fact3: この柄は密約しない fact4: このＰＡＩＮはちっちゃくないけれど置き易い fact5: もしあの単結晶構造解析が置き易いならばこの柄はちっちゃくないけれど設計変更だ fact6: もしも「この柄は予測し難くないけど密約する」ということは真実であるとすればそれは設計変更だということはない fact7: もしもこのＰＡＩＮがちっちゃくないとしたらあの単結晶構造解析はちっちゃくない fact8: もし仮にあの単結晶構造解析は予測し難くないなら「この柄は予測し難くないしかつ密約しない」ということは事実である fact9: もしもなにかはちっちゃくない一方で置き易いとしたら「あの単結晶構造解析は予測し難くない」ということは成り立つ fact10: 「御理解しない」物はある fact11: もしあの単結晶構造解析が予測し難いということはないとしたらこの柄は密約しない fact12: もし「「御理解するということはない」物はある」ということは成り立つとすればあの十住毘婆沙論はくゆらさないしそれにそれは迷信深くない fact13: 「とある物は置き易い」ということは本当だ fact14: このＰＡＩＮは置き易い fact15: ちっちゃいということはない物はある fact16: 「ちっちゃいしさらに置き易い」物はある fact17: 「仮に予測し難くない物が密約しないとすると設計変更でない」ということは真実だ
fact4 -> int1: ちっちゃくなくて更に置き易い物はある; int1 & fact9 -> int2: あの単結晶構造解析は予測し難いということはない; int2 & fact8 -> int3: この柄は予測し難くないしそれに密約しない; fact17 -> int4: もしもこの柄は予測し難くないし密約しないならば設計変更だということはない; int3 & int4 -> hypothesis;
この柄は設計変更である
fact18 & fact20 -> int5: この十住毘婆沙論はくゆらさなくて迷信深いということはない; int5 -> int6: 「くゆらさなくて迷信深くない」物はある;
$facts$ = fact1: その生パン粉は設計変更でない fact2: もし仮に予測し難くないものが密約するとしたらそれは設計変更でない fact3: この柄は密約しない fact4: このＰＡＩＮはちっちゃくないけれど置き易い fact5: もしあの単結晶構造解析が置き易いならばこの柄はちっちゃくないけれど設計変更だ fact6: もしも「この柄は予測し難くないけど密約する」ということは真実であるとすればそれは設計変更だということはない fact7: もしもこのＰＡＩＮがちっちゃくないとしたらあの単結晶構造解析はちっちゃくない fact8: もし仮にあの単結晶構造解析は予測し難くないなら「この柄は予測し難くないしかつ密約しない」ということは事実である fact9: もしもなにかはちっちゃくない一方で置き易いとしたら「あの単結晶構造解析は予測し難くない」ということは成り立つ fact10: 「御理解しない」物はある fact11: もしあの単結晶構造解析が予測し難いということはないとしたらこの柄は密約しない fact12: もし「「御理解するということはない」物はある」ということは成り立つとすればあの十住毘婆沙論はくゆらさないしそれにそれは迷信深くない fact13: 「とある物は置き易い」ということは本当だ fact14: このＰＡＩＮは置き易い fact15: ちっちゃいということはない物はある fact16: 「ちっちゃいしさらに置き易い」物はある fact17: 「仮に予測し難くない物が密約しないとすると設計変更でない」ということは真実だ ; $hypothesis$ = この柄は設計変更である ; $proof$ = 
fact4 -> int1: ちっちゃくなくて更に置き易い物はある; int1 & fact9 -> int2: あの単結晶構造解析は予測し難いということはない; int2 & fact8 -> int3: この柄は予測し難くないしそれに密約しない; fact17 -> int4: もしもこの柄は予測し難くないし密約しないならば設計変更だということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その生パン粉は設計変更でない
事実2: もし仮に予測し難くないものが密約するとしたらそれは設計変更でない
事実3: この柄は密約しない
事実4: このＰＡＩＮはちっちゃくないけれど置き易い
事実5: もしあの単結晶構造解析が置き易いならばこの柄はちっちゃくないけれど設計変更だ
事実6: もしも「この柄は予測し難くないけど密約する」ということは真実であるとすればそれは設計変更だということはない
事実7: もしもこのＰＡＩＮがちっちゃくないとしたらあの単結晶構造解析はちっちゃくない
事実8: もし仮にあの単結晶構造解析は予測し難くないなら「この柄は予測し難くないしかつ密約しない」ということは事実である
事実9: もしもなにかはちっちゃくない一方で置き易いとしたら「あの単結晶構造解析は予測し難くない」ということは成り立つ
事実10: 「御理解しない」物はある
事実11: もしあの単結晶構造解析が予測し難いということはないとしたらこの柄は密約しない
事実12: もし「「御理解するということはない」物はある」ということは成り立つとすればあの十住毘婆沙論はくゆらさないしそれにそれは迷信深くない
事実13: 「とある物は置き易い」ということは本当だ
事実14: このＰＡＩＮは置き易い
事実15: ちっちゃいということはない物はある
事実16: 「ちっちゃいしさらに置き易い」物はある
事実17: 「仮に予測し難くない物が密約しないとすると設計変更でない」ということは真実だ

仮説: この柄は設計変更である
1. 事実4から、推論1: "ちっちゃくなくて更に置き易い物はある"が導かれる
2. 推論1と事実9から、推論2: "あの単結晶構造解析は予測し難いということはない"が導かれる
3. 推論2と事実8から、推論3: "この柄は予測し難くないしそれに密約しない"が導かれる
4. 事実17から、推論4: "もしもこの柄は予測し難くないし密約しないならば設計変更だということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

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