この本教材は来談しない
fact1: もしあの座面高が進み易いとしたらその文献抄録は寒々しかないけれど燥ぎ回る fact2: 「この本教材は買い易くないがそれは来談する」ということは間違っている fact3: その文献抄録が寒々しかないなら一日するしそれは来談する fact4: その長門国は買い易い fact5: 「その文献抄録は買い易くてそれは疑わしい」ということは誤りである fact6: 「その文献抄録は買い易いということはないけれど疑わしい」ということは真実でない fact7: その文献抄録は一日するとすると「あの小見出しは置く」ということは真実である fact8: もしもあの座面高は置くとすると「その長門国は一日する」ということは真実である fact9: もし仮にその長門国が一日するとすればあの本教材は来談する fact10: もし仮に「「その文献抄録は買い易いということはない一方で疑わしい」ということは成り立つ」ということは嘘であるとするとあの座面高は置く
fact10 & fact6 -> int1: あの座面高は置く; int1 & fact8 -> int2: その長門国は一日する; int2 & fact9 -> hypothesis;
fact10 & fact6 -> int1: {B}{b}; int1 & fact8 -> int2: {A}{c}; int2 & fact9 -> hypothesis;
あの小見出しは置く
$facts$ = fact1: もしあの座面高が進み易いとしたらその文献抄録は寒々しかないけれど燥ぎ回る fact2: 「この本教材は買い易くないがそれは来談する」ということは間違っている fact3: その文献抄録が寒々しかないなら一日するしそれは来談する fact4: その長門国は買い易い fact5: 「その文献抄録は買い易くてそれは疑わしい」ということは誤りである fact6: 「その文献抄録は買い易いということはないけれど疑わしい」ということは真実でない fact7: その文献抄録は一日するとすると「あの小見出しは置く」ということは真実である fact8: もしもあの座面高は置くとすると「その長門国は一日する」ということは真実である fact9: もし仮にその長門国が一日するとすればあの本教材は来談する fact10: もし仮に「「その文献抄録は買い易いということはない一方で疑わしい」ということは成り立つ」ということは嘘であるとするとあの座面高は置く ; $hypothesis$ = この本教材は来談しない ; $proof$ = 
fact10 & fact6 -> int1: あの座面高は置く; int1 & fact8 -> int2: その長門国は一日する; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: もしあの座面高が進み易いとしたらその文献抄録は寒々しかないけれど燥ぎ回る
事実2: 「この本教材は買い易くないがそれは来談する」ということは間違っている
事実3: その文献抄録が寒々しかないなら一日するしそれは来談する
事実4: その長門国は買い易い
事実5: 「その文献抄録は買い易くてそれは疑わしい」ということは誤りである
事実6: 「その文献抄録は買い易いということはないけれど疑わしい」ということは真実でない
事実7: その文献抄録は一日するとすると「あの小見出しは置く」ということは真実である
事実8: もしもあの座面高は置くとすると「その長門国は一日する」ということは真実である
事実9: もし仮にその長門国が一日するとすればあの本教材は来談する
事実10: もし仮に「「その文献抄録は買い易いということはない一方で疑わしい」ということは成り立つ」ということは嘘であるとするとあの座面高は置く

仮説: この本教材は来談しない
1. 事実10と事実6から、推論1: "あの座面高は置く"が導かれる
2. 推論1と事実8から、推論2: "その長門国は一日する"が導かれる
3. 推論2と事実9から、仮説が否定される

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