そのブック内は毀損する
fact1: もし「そのブック内は毀損する一方で得易くない」ということは本当だとすると「その検査項目は言い辛くない」ということは偽である fact2: 仮にあの大音声が相談し易くないならばその検査項目は引き受け競争であるし長管骨だ fact3: 仮にその検査項目が長管骨だとするとそのブック内は淀み無い fact4: もし仮にその検査項目が長管骨でないとするとあの大音声は得易くない fact5: 「そのブック内は言い辛い」ということは真実だ fact6: もしもそのブック内が得易いがしかし長管骨でないとするとその検査項目は毀損する fact7: その検査項目は社会・文化である一方で毀損しない fact8: もし仮にその検査項目が言い辛くないとすればあの大音声は淀み無いがしかし格納出来ない fact9: もしもあの大音声が長管骨だがしかし言い辛くないとすればそのブック内は毀損する fact10: もしもその検査項目が淀み無くないならばあの大音声は長管骨だがしかし言い辛くない fact11: そのブック内は得易くない fact12: 仮になにがしかの物が淀み無いとすると毀損しなくてその上言い辛くない fact13: そのブック内は淀み無くない fact14: 言い辛くない物は流れ続けるが毀損するということはない fact15: そのブック内は苦いし歯痒い fact16: その検査項目は格納出来るしかつ得易い fact17: 使い辛くないか相談し易くないか両方ともなものは相談し易くない fact18: 仮にそのブック内が長管骨であるしその上毀損するなら「あの大音声は言い辛い」ということは事実だ fact19: もし仮にその検査項目が毀損しないとするとそのブック内は格納出来ない fact20: もしもその検査項目は格納出来るし得易いとすると淀み無くない fact21: この先入見は淀み無い fact22: あの義務が築き難いとしたらあの大音声は使い辛くないか相談し易くない fact23: その検査項目は格納出来る
fact20 & fact16 -> int1: その検査項目は淀み無くない; int1 & fact10 -> int2: あの大音声は長管骨だが言い辛いということはない; int2 & fact9 -> hypothesis;
fact20 & fact16 -> int1: ¬{B}{a}; int1 & fact10 -> int2: ({C}{b} & ¬{A}{b}); int2 & fact9 -> hypothesis;
そのブック内は毀損しない
fact24 -> int3: もし「そのブック内は淀み無い」ということは正しいとしたらそれは毀損しないし加えて言い辛くない; fact26 -> int4: あの大音声が使い辛くないかまたは相談し易くないかあるいは両方ともであるとしたらそれは相談し易くない;
$facts$ = fact1: もし「そのブック内は毀損する一方で得易くない」ということは本当だとすると「その検査項目は言い辛くない」ということは偽である fact2: 仮にあの大音声が相談し易くないならばその検査項目は引き受け競争であるし長管骨だ fact3: 仮にその検査項目が長管骨だとするとそのブック内は淀み無い fact4: もし仮にその検査項目が長管骨でないとするとあの大音声は得易くない fact5: 「そのブック内は言い辛い」ということは真実だ fact6: もしもそのブック内が得易いがしかし長管骨でないとするとその検査項目は毀損する fact7: その検査項目は社会・文化である一方で毀損しない fact8: もし仮にその検査項目が言い辛くないとすればあの大音声は淀み無いがしかし格納出来ない fact9: もしもあの大音声が長管骨だがしかし言い辛くないとすればそのブック内は毀損する fact10: もしもその検査項目が淀み無くないならばあの大音声は長管骨だがしかし言い辛くない fact11: そのブック内は得易くない fact12: 仮になにがしかの物が淀み無いとすると毀損しなくてその上言い辛くない fact13: そのブック内は淀み無くない fact14: 言い辛くない物は流れ続けるが毀損するということはない fact15: そのブック内は苦いし歯痒い fact16: その検査項目は格納出来るしかつ得易い fact17: 使い辛くないか相談し易くないか両方ともなものは相談し易くない fact18: 仮にそのブック内が長管骨であるしその上毀損するなら「あの大音声は言い辛い」ということは事実だ fact19: もし仮にその検査項目が毀損しないとするとそのブック内は格納出来ない fact20: もしもその検査項目は格納出来るし得易いとすると淀み無くない fact21: この先入見は淀み無い fact22: あの義務が築き難いとしたらあの大音声は使い辛くないか相談し易くない fact23: その検査項目は格納出来る ; $hypothesis$ = そのブック内は毀損する ; $proof$ = 
fact20 & fact16 -> int1: その検査項目は淀み無くない; int1 & fact10 -> int2: あの大音声は長管骨だが言い辛いということはない; int2 & fact9 -> hypothesis; __PROVED__
事実1: もし「そのブック内は毀損する一方で得易くない」ということは本当だとすると「その検査項目は言い辛くない」ということは偽である
事実2: 仮にあの大音声が相談し易くないならばその検査項目は引き受け競争であるし長管骨だ
事実3: 仮にその検査項目が長管骨だとするとそのブック内は淀み無い
事実4: もし仮にその検査項目が長管骨でないとするとあの大音声は得易くない
事実5: 「そのブック内は言い辛い」ということは真実だ
事実6: もしもそのブック内が得易いがしかし長管骨でないとするとその検査項目は毀損する
事実7: その検査項目は社会・文化である一方で毀損しない
事実8: もし仮にその検査項目が言い辛くないとすればあの大音声は淀み無いがしかし格納出来ない
事実9: もしもあの大音声が長管骨だがしかし言い辛くないとすればそのブック内は毀損する
事実10: もしもその検査項目が淀み無くないならばあの大音声は長管骨だがしかし言い辛くない
事実11: そのブック内は得易くない
事実12: 仮になにがしかの物が淀み無いとすると毀損しなくてその上言い辛くない
事実13: そのブック内は淀み無くない
事実14: 言い辛くない物は流れ続けるが毀損するということはない
事実15: そのブック内は苦いし歯痒い
事実16: その検査項目は格納出来るしかつ得易い
事実17: 使い辛くないか相談し易くないか両方ともなものは相談し易くない
事実18: 仮にそのブック内が長管骨であるしその上毀損するなら「あの大音声は言い辛い」ということは事実だ
事実19: もし仮にその検査項目が毀損しないとするとそのブック内は格納出来ない
事実20: もしもその検査項目は格納出来るし得易いとすると淀み無くない
事実21: この先入見は淀み無い
事実22: あの義務が築き難いとしたらあの大音声は使い辛くないか相談し易くない
事実23: その検査項目は格納出来る

仮説: そのブック内は毀損する
1. 事実20と事実16から、推論1: "その検査項目は淀み無くない"が導かれる
2. 推論1と事実10から、推論2: "あの大音声は長管骨だが言い辛いということはない"が導かれる
3. 推論2と事実9から、仮説が導かれる

よって、仮説が証明されました。