「仮に人らしいとすると使い難い」ものはある
fact1: 人らしいものは使い難くないし鼓打ちでない fact2: もし物らしいということはないものが待ち遠しくないとすればそれは使い難い fact3: もしあの生漆が物らしい一方で待ち遠しくないとするとそれは使い難い fact4: 仮にあの生漆が証明力だとしたらそれは人らしいということはない fact5: もし仮に物らしい物が待ち遠しいということはないとすればそれは使い難い fact6: 調節し易いものは各機能でないしさらにＭＨでない fact7: もしもあの生漆が待ち遠しいなら避け得ないし排出でない fact8: なんらかのものが人らしいならそれは物らしくないし待ち遠しくない fact9: もしも内命婦が掻き易くないとするとそれは人らしい fact10: 仮に物らしくない物が待ち遠しいとしたらそれは使い難い
fact8 -> int1: もし仮にあの生漆が人らしいならそれは物らしくないし加えて待ち遠しくない; void -> assump1: 以下のように仮定する。あの生漆は人らしい; int1 & assump1 -> int2: あの生漆は物らしいということはなくて待ち遠しいということはない; fact2 -> int3: もしあの生漆が物らしいということはなくてそれにそれが待ち遠しいということはないならそれは使い難い; int2 & int3 -> int4: あの生漆は使い難い; [assump1] & int4 -> int5: 「もし仮にあの生漆が人らしいとしたらあの生漆は使い難い」ということは成り立つ; int5 -> hypothesis;
その家筋は使い難くなくて鼓打ちでない
fact11 -> int6: 仮にその家筋が人らしいとすれば使い難いということはなくてしかもそれは鼓打ちであるということはない; fact12 -> int7: 仮にその家筋は内命婦である一方で掻き易くないとすればそれは人らしい;
$facts$ = fact1: 人らしいものは使い難くないし鼓打ちでない fact2: もし物らしいということはないものが待ち遠しくないとすればそれは使い難い fact3: もしあの生漆が物らしい一方で待ち遠しくないとするとそれは使い難い fact4: 仮にあの生漆が証明力だとしたらそれは人らしいということはない fact5: もし仮に物らしい物が待ち遠しいということはないとすればそれは使い難い fact6: 調節し易いものは各機能でないしさらにＭＨでない fact7: もしもあの生漆が待ち遠しいなら避け得ないし排出でない fact8: なんらかのものが人らしいならそれは物らしくないし待ち遠しくない fact9: もしも内命婦が掻き易くないとするとそれは人らしい fact10: 仮に物らしくない物が待ち遠しいとしたらそれは使い難い ; $hypothesis$ = 「仮に人らしいとすると使い難い」ものはある ; $proof$ = 
fact8 -> int1: もし仮にあの生漆が人らしいならそれは物らしくないし加えて待ち遠しくない; void -> assump1: 以下のように仮定する。あの生漆は人らしい; int1 & assump1 -> int2: あの生漆は物らしいということはなくて待ち遠しいということはない; fact2 -> int3: もしあの生漆が物らしいということはなくてそれにそれが待ち遠しいということはないならそれは使い難い; int2 & int3 -> int4: あの生漆は使い難い; [assump1] & int4 -> int5: 「もし仮にあの生漆が人らしいとしたらあの生漆は使い難い」ということは成り立つ; int5 -> hypothesis; __PROVED__
事実1: 人らしいものは使い難くないし鼓打ちでない
事実2: もし物らしいということはないものが待ち遠しくないとすればそれは使い難い
事実3: もしあの生漆が物らしい一方で待ち遠しくないとするとそれは使い難い
事実4: 仮にあの生漆が証明力だとしたらそれは人らしいということはない
事実5: もし仮に物らしい物が待ち遠しいということはないとすればそれは使い難い
事実6: 調節し易いものは各機能でないしさらにＭＨでない
事実7: もしもあの生漆が待ち遠しいなら避け得ないし排出でない
事実8: なんらかのものが人らしいならそれは物らしくないし待ち遠しくない
事実9: もしも内命婦が掻き易くないとするとそれは人らしい
事実10: 仮に物らしくない物が待ち遠しいとしたらそれは使い難い

仮説: 「仮に人らしいとすると使い難い」ものはある
1. 事実8から、推論1: "もし仮にあの生漆が人らしいならそれは物らしくないし加えて待ち遠しくない"が導かれる
2. 仮定1: 以下のように仮定する。あの生漆は人らしい
3. 推論1と仮定1から、推論2: "あの生漆は物らしいということはなくて待ち遠しいということはない"が導かれる
4. 事実2から、推論3: "もしあの生漆が物らしいということはなくてそれにそれが待ち遠しいということはないならそれは使い難い"が導かれる
5. 推論2と推論3から、推論4: "あの生漆は使い難い"が導かれる
6. [仮定1]と推論4から、推論5: "「もし仮にあの生漆が人らしいとしたらあの生漆は使い難い」ということは成り立つ"が導かれる
7. 推論5から、仮説が導かれる

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