あの貴族階層は迷い易い
fact1: その万屋はサービス品質でない fact2: この定立は飲み込めない fact3: この水準点は熱り立つし飲み込める fact4: あの貴族階層は飲み込める fact5: 「この水準点は飲み込める」ということは成り立つ fact6: それはコントロールし易いということはない一方で吸蔵するという物はない fact7: もしもこの水準点はサービス品質でないとしたら「この定立は熱り立つししかもそれはハードコピーである」ということは本当でない fact8: もしもその万屋が余儀無くないとするとあの貴族階層は迷い易いしサービス品質だ fact9: サービス品質は迷い易いかまたは余儀無くない fact10: もし「「止み難くてハードコピーだ」ということは成り立たない」物があるならこの水準点は余儀無くない fact11: もし仮にこの水準点が熱り立つが余儀無くないとしたらあの貴族階層は迷い易くない fact12: 「「飲み込めるししかも迷い易い」ということは嘘である」物はあれば「あの貴族階層は熱り立つということはない」ということは正しい fact13: 「止み難くてハードコピーな」物はある fact14: もし「何らかのものは止み難くない」ということは正しいなら「この水準点は余儀無くない」ということは成り立つ fact15: この定立は余儀無いということはない fact16: もし仮にその万屋はサービス品質でないとすれば「この定立は止み難くてさらにそれはハードコピーである」ということは成り立たない fact17: 「仮に「「コントロールし易くないけれど吸蔵する」ということは正しくない」ものはあるなら「この定立は飲み込めない」ということは成り立つ」ということは間違っていない fact18: もしも「その万屋は迷い易い」ということは本当だとすればあの貴族階層は迷い易い fact19: もしもあるものが熱り立てばそれはサービス品質だ
fact16 & fact1 -> int1: 「この定立は止み難くてそれはハードコピーだ」ということは事実と異なる; int1 -> int2: 「「止み難いしハードコピーである」ということは確かだということはない」ものはある; int2 & fact10 -> int3: この水準点は余儀無くない; fact3 -> int4: 「この水準点は熱り立つ」ということは本当である; int3 & int4 -> int5: この水準点は熱り立つがそれは余儀無くない; int5 & fact11 -> hypothesis;
あの貴族階層は迷い易い
$facts$ = fact1: その万屋はサービス品質でない fact2: この定立は飲み込めない fact3: この水準点は熱り立つし飲み込める fact4: あの貴族階層は飲み込める fact5: 「この水準点は飲み込める」ということは成り立つ fact6: それはコントロールし易いということはない一方で吸蔵するという物はない fact7: もしもこの水準点はサービス品質でないとしたら「この定立は熱り立つししかもそれはハードコピーである」ということは本当でない fact8: もしもその万屋が余儀無くないとするとあの貴族階層は迷い易いしサービス品質だ fact9: サービス品質は迷い易いかまたは余儀無くない fact10: もし「「止み難くてハードコピーだ」ということは成り立たない」物があるならこの水準点は余儀無くない fact11: もし仮にこの水準点が熱り立つが余儀無くないとしたらあの貴族階層は迷い易くない fact12: 「「飲み込めるししかも迷い易い」ということは嘘である」物はあれば「あの貴族階層は熱り立つということはない」ということは正しい fact13: 「止み難くてハードコピーな」物はある fact14: もし「何らかのものは止み難くない」ということは正しいなら「この水準点は余儀無くない」ということは成り立つ fact15: この定立は余儀無いということはない fact16: もし仮にその万屋はサービス品質でないとすれば「この定立は止み難くてさらにそれはハードコピーである」ということは成り立たない fact17: 「仮に「「コントロールし易くないけれど吸蔵する」ということは正しくない」ものはあるなら「この定立は飲み込めない」ということは成り立つ」ということは間違っていない fact18: もしも「その万屋は迷い易い」ということは本当だとすればあの貴族階層は迷い易い fact19: もしもあるものが熱り立てばそれはサービス品質だ ; $hypothesis$ = あの貴族階層は迷い易い ; $proof$ = 
fact16 & fact1 -> int1: 「この定立は止み難くてそれはハードコピーだ」ということは事実と異なる; int1 -> int2: 「「止み難いしハードコピーである」ということは確かだということはない」ものはある; int2 & fact10 -> int3: この水準点は余儀無くない; fact3 -> int4: 「この水準点は熱り立つ」ということは本当である; int3 & int4 -> int5: この水準点は熱り立つがそれは余儀無くない; int5 & fact11 -> hypothesis; __DISPROVED__
事実1: その万屋はサービス品質でない
事実2: この定立は飲み込めない
事実3: この水準点は熱り立つし飲み込める
事実4: あの貴族階層は飲み込める
事実5: 「この水準点は飲み込める」ということは成り立つ
事実6: それはコントロールし易いということはない一方で吸蔵するという物はない
事実7: もしもこの水準点はサービス品質でないとしたら「この定立は熱り立つししかもそれはハードコピーである」ということは本当でない
事実8: もしもその万屋が余儀無くないとするとあの貴族階層は迷い易いしサービス品質だ
事実9: サービス品質は迷い易いかまたは余儀無くない
事実10: もし「「止み難くてハードコピーだ」ということは成り立たない」物があるならこの水準点は余儀無くない
事実11: もし仮にこの水準点が熱り立つが余儀無くないとしたらあの貴族階層は迷い易くない
事実12: 「「飲み込めるししかも迷い易い」ということは嘘である」物はあれば「あの貴族階層は熱り立つということはない」ということは正しい
事実13: 「止み難くてハードコピーな」物はある
事実14: もし「何らかのものは止み難くない」ということは正しいなら「この水準点は余儀無くない」ということは成り立つ
事実15: この定立は余儀無いということはない
事実16: もし仮にその万屋はサービス品質でないとすれば「この定立は止み難くてさらにそれはハードコピーである」ということは成り立たない
事実17: 「仮に「「コントロールし易くないけれど吸蔵する」ということは正しくない」ものはあるなら「この定立は飲み込めない」ということは成り立つ」ということは間違っていない
事実18: もしも「その万屋は迷い易い」ということは本当だとすればあの貴族階層は迷い易い
事実19: もしもあるものが熱り立てばそれはサービス品質だ

仮説: あの貴族階層は迷い易い
1. 事実16と事実1から、推論1: "「この定立は止み難くてそれはハードコピーだ」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「止み難いしハードコピーである」ということは確かだということはない」ものはある"が導かれる
3. 推論2と事実10から、推論3: "この水準点は余儀無くない"が導かれる
4. 事実3から、推論4: "「この水準点は熱り立つ」ということは本当である"が導かれる
5. 推論3と推論4から、推論5: "この水準点は熱り立つがそれは余儀無くない"が導かれる
6. 推論5と事実11から、仮説が否定される

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