「このマニアは持ち難いということはないしかつそれは御聞かない」ということは成り立たない
fact1: 「このマニアはアナログである一方で考え易いということはない」ということは間違っている fact2: もし仮に「秘しない」ものはあるとすると「このマニアは持ち難くなくて御聞かない」ということは真実でない fact3: 「このマニアは持ち難いが御聞かない」ということは嘘だ fact4: もし「漏れ出さない」ものはあるとすると「あの議長役は御聞かなくてかつぬらぬらしない」ということは真実でない fact5: あるものは折衝しないなら「このマニアは訪問薬剤管理指導だけど秘しない」ということは誤っている fact6: 「実施体制でない」物はあるとすると「このマニアはちょろい一方で持ち難くない」ということは嘘である fact7: 敢え無い物はある fact8: 「このマニアは持ち難くないけど御聞く」ということは嘘だ fact9: 「「秘しない」ということは真実な」ものはある fact10: 「従い為さらない」ものはある fact11: もし仮に「御聞かない」物はあるとすれば「このマニアは敢え無いがしかし中型機でない」ということは嘘である fact12: もしなにがしかのものが秘すれば持ち難いということはないしその上御聞くということはない fact13: 「このマニアは無駄遣いするが御分かれしない」ということは成り立たない fact14: 仮にあのジャンカーは御聞くということはないとすると「この移行論争は持ち難いがしかし秘しない」ということは成り立たない fact15: 「御聞くということはない」ものはある
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
このマニアは持ち難くなくておまけにそれは御聞かない
fact16 -> int1: 仮にこのマニアが秘すればそれは持ち難くなくて御聞くということはない;
$facts$ = fact1: 「このマニアはアナログである一方で考え易いということはない」ということは間違っている fact2: もし仮に「秘しない」ものはあるとすると「このマニアは持ち難くなくて御聞かない」ということは真実でない fact3: 「このマニアは持ち難いが御聞かない」ということは嘘だ fact4: もし「漏れ出さない」ものはあるとすると「あの議長役は御聞かなくてかつぬらぬらしない」ということは真実でない fact5: あるものは折衝しないなら「このマニアは訪問薬剤管理指導だけど秘しない」ということは誤っている fact6: 「実施体制でない」物はあるとすると「このマニアはちょろい一方で持ち難くない」ということは嘘である fact7: 敢え無い物はある fact8: 「このマニアは持ち難くないけど御聞く」ということは嘘だ fact9: 「「秘しない」ということは真実な」ものはある fact10: 「従い為さらない」ものはある fact11: もし仮に「御聞かない」物はあるとすれば「このマニアは敢え無いがしかし中型機でない」ということは嘘である fact12: もしなにがしかのものが秘すれば持ち難いということはないしその上御聞くということはない fact13: 「このマニアは無駄遣いするが御分かれしない」ということは成り立たない fact14: 仮にあのジャンカーは御聞くということはないとすると「この移行論争は持ち難いがしかし秘しない」ということは成り立たない fact15: 「御聞くということはない」ものはある ; $hypothesis$ = 「このマニアは持ち難いということはないしかつそれは御聞かない」ということは成り立たない ; $proof$ = 
fact9 & fact2 -> hypothesis; __PROVED__
事実1: 「このマニアはアナログである一方で考え易いということはない」ということは間違っている
事実2: もし仮に「秘しない」ものはあるとすると「このマニアは持ち難くなくて御聞かない」ということは真実でない
事実3: 「このマニアは持ち難いが御聞かない」ということは嘘だ
事実4: もし「漏れ出さない」ものはあるとすると「あの議長役は御聞かなくてかつぬらぬらしない」ということは真実でない
事実5: あるものは折衝しないなら「このマニアは訪問薬剤管理指導だけど秘しない」ということは誤っている
事実6: 「実施体制でない」物はあるとすると「このマニアはちょろい一方で持ち難くない」ということは嘘である
事実7: 敢え無い物はある
事実8: 「このマニアは持ち難くないけど御聞く」ということは嘘だ
事実9: 「「秘しない」ということは真実な」ものはある
事実10: 「従い為さらない」ものはある
事実11: もし仮に「御聞かない」物はあるとすれば「このマニアは敢え無いがしかし中型機でない」ということは嘘である
事実12: もしなにがしかのものが秘すれば持ち難いということはないしその上御聞くということはない
事実13: 「このマニアは無駄遣いするが御分かれしない」ということは成り立たない
事実14: 仮にあのジャンカーは御聞くということはないとすると「この移行論争は持ち難いがしかし秘しない」ということは成り立たない
事実15: 「御聞くということはない」ものはある

仮説: 「このマニアは持ち難いということはないしかつそれは御聞かない」ということは成り立たない
1. 事実9と事実2から、仮説が導かれる

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