「この広縁は食べ易いしさらにそれはか細い」ということは嘘だ
fact1: 「この第二次調査時はか細い」ということは確かである fact2: もし仮にこの第二次調査時が名高いならばこの広縁は会話らしい fact3: 仮に「「草するが趣意書でない」ということは事実でない」物があるとするとこの広縁はか細い fact4: 「「この真宗は草するけれど趣意書でない」ということは真実だ」ということは成り立たない fact5: 「この真宗は草するしかつ趣意書だ」ということは誤っている fact6: もし仮にとあるものは名高くないならば「それは食べ易いしまたか細い」ということは成り立たない fact7: もしこの広縁が会話らしいとしたらそれは食べ易い fact8: 「「会話らしいしおまけに名高くない」ということは成り立たない」ものはある fact9: この第二次調査時は名高い fact10: 仮にとある物が胸前であるしかつ趣意書だとしたらそれは草するということはない fact11: もし仮になにがしかのものが草するということはないなら会話らしくないかまたは名高くないかまたは両方ともである fact12: 会話らしくないかもしくは名高くないかもしくは両方ともである物は名高いということはない
fact2 & fact9 -> int1: 「この広縁は会話らしい」ということは確かだ; int1 & fact7 -> int2: 「この広縁は食べ易い」ということは成り立つ; fact4 -> int3: 「「草するけれど趣意書でない」ということは成り立つということはない」ものはある; fact3 & int3 -> int4: 「この広縁はか細い」ということは成り立つ; int2 & int4 -> hypothesis;
「この広縁は食べ易くてか細い」ということは成り立たない
fact14 -> int5: もしこの広縁は名高くないとしたら「食べ易くてかつか細い」ということは間違いだ; fact16 -> int6: もしもこの広縁が会話らしくないかそれは名高くないかまたは両方であるならそれは名高くない; fact13 -> int7: もし「この広縁は草しない」ということは確かであるならばそれは会話らしくないか名高くないかあるいはどちらもである; fact15 -> int8: もしこの広縁は胸前でその上趣意書なら草しない;
$facts$ = fact1: 「この第二次調査時はか細い」ということは確かである fact2: もし仮にこの第二次調査時が名高いならばこの広縁は会話らしい fact3: 仮に「「草するが趣意書でない」ということは事実でない」物があるとするとこの広縁はか細い fact4: 「「この真宗は草するけれど趣意書でない」ということは真実だ」ということは成り立たない fact5: 「この真宗は草するしかつ趣意書だ」ということは誤っている fact6: もし仮にとあるものは名高くないならば「それは食べ易いしまたか細い」ということは成り立たない fact7: もしこの広縁が会話らしいとしたらそれは食べ易い fact8: 「「会話らしいしおまけに名高くない」ということは成り立たない」ものはある fact9: この第二次調査時は名高い fact10: 仮にとある物が胸前であるしかつ趣意書だとしたらそれは草するということはない fact11: もし仮になにがしかのものが草するということはないなら会話らしくないかまたは名高くないかまたは両方ともである fact12: 会話らしくないかもしくは名高くないかもしくは両方ともである物は名高いということはない ; $hypothesis$ = 「この広縁は食べ易いしさらにそれはか細い」ということは嘘だ ; $proof$ = 
fact2 & fact9 -> int1: 「この広縁は会話らしい」ということは確かだ; int1 & fact7 -> int2: 「この広縁は食べ易い」ということは成り立つ; fact4 -> int3: 「「草するけれど趣意書でない」ということは成り立つということはない」ものはある; fact3 & int3 -> int4: 「この広縁はか細い」ということは成り立つ; int2 & int4 -> hypothesis; __DISPROVED__
事実1: 「この第二次調査時はか細い」ということは確かである
事実2: もし仮にこの第二次調査時が名高いならばこの広縁は会話らしい
事実3: 仮に「「草するが趣意書でない」ということは事実でない」物があるとするとこの広縁はか細い
事実4: 「「この真宗は草するけれど趣意書でない」ということは真実だ」ということは成り立たない
事実5: 「この真宗は草するしかつ趣意書だ」ということは誤っている
事実6: もし仮にとあるものは名高くないならば「それは食べ易いしまたか細い」ということは成り立たない
事実7: もしこの広縁が会話らしいとしたらそれは食べ易い
事実8: 「「会話らしいしおまけに名高くない」ということは成り立たない」ものはある
事実9: この第二次調査時は名高い
事実10: 仮にとある物が胸前であるしかつ趣意書だとしたらそれは草するということはない
事実11: もし仮になにがしかのものが草するということはないなら会話らしくないかまたは名高くないかまたは両方ともである
事実12: 会話らしくないかもしくは名高くないかもしくは両方ともである物は名高いということはない

仮説: 「この広縁は食べ易いしさらにそれはか細い」ということは嘘だ
1. 事実2と事実9から、推論1: "「この広縁は会話らしい」ということは確かだ"が導かれる
2. 推論1と事実7から、推論2: "「この広縁は食べ易い」ということは成り立つ"が導かれる
3. 事実4から、推論3: "「「草するけれど趣意書でない」ということは成り立つということはない」ものはある"が導かれる
4. 事実3と推論3から、推論4: "「この広縁はか細い」ということは成り立つ"が導かれる
5. 推論2と推論4から、仮説が否定される

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