あの立て膝は外し易い
fact1: もし仮にあの大和国は番でないなら「気付き難くないものでさらに物体Ａだ」ということは成り立たない fact2: もしもあの大和国が外し易いとすればあの立て膝はアウトソースするということはないけど目撃出来る fact3: あの大和国はアウトソースする fact4: しどけないということはない物はアウトソースするけど外し易くない fact5: もしあの大和国がアウトソースするとするとあの立て膝は目撃出来ないがしかし野蛮国だ fact6: あの大和国は目撃出来るしかつアウトソースするとすると外し易い fact7: もし仮になにかは目撃出来ないが野蛮国なら外し易い fact8: この現代心理学はアウトソースする fact9: もしもあの大和国が外し易いということはない一方でそれが野蛮国だとすればそれはアウトソースする
fact5 & fact3 -> int1: あの立て膝は目撃出来ないけれど野蛮国である; fact7 -> int2: 仮にあの立て膝が目撃出来ないがしかし野蛮国ならばそれは外し易い; int1 & int2 -> hypothesis;
fact5 & fact3 -> int1: (¬{AA}{b} & {AB}{b}); fact7 -> int2: (¬{AA}{b} & {AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
あの立て膝は外し易くない
fact11 -> int3: 仮にあの立て膝がしどけなくないとするとアウトソースするし外し易いということはない;
$facts$ = fact1: もし仮にあの大和国は番でないなら「気付き難くないものでさらに物体Ａだ」ということは成り立たない fact2: もしもあの大和国が外し易いとすればあの立て膝はアウトソースするということはないけど目撃出来る fact3: あの大和国はアウトソースする fact4: しどけないということはない物はアウトソースするけど外し易くない fact5: もしあの大和国がアウトソースするとするとあの立て膝は目撃出来ないがしかし野蛮国だ fact6: あの大和国は目撃出来るしかつアウトソースするとすると外し易い fact7: もし仮になにかは目撃出来ないが野蛮国なら外し易い fact8: この現代心理学はアウトソースする fact9: もしもあの大和国が外し易いということはない一方でそれが野蛮国だとすればそれはアウトソースする ; $hypothesis$ = あの立て膝は外し易い ; $proof$ = 
fact5 & fact3 -> int1: あの立て膝は目撃出来ないけれど野蛮国である; fact7 -> int2: 仮にあの立て膝が目撃出来ないがしかし野蛮国ならばそれは外し易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にあの大和国は番でないなら「気付き難くないものでさらに物体Ａだ」ということは成り立たない
事実2: もしもあの大和国が外し易いとすればあの立て膝はアウトソースするということはないけど目撃出来る
事実3: あの大和国はアウトソースする
事実4: しどけないということはない物はアウトソースするけど外し易くない
事実5: もしあの大和国がアウトソースするとするとあの立て膝は目撃出来ないがしかし野蛮国だ
事実6: あの大和国は目撃出来るしかつアウトソースするとすると外し易い
事実7: もし仮になにかは目撃出来ないが野蛮国なら外し易い
事実8: この現代心理学はアウトソースする
事実9: もしもあの大和国が外し易いということはない一方でそれが野蛮国だとすればそれはアウトソースする

仮説: あの立て膝は外し易い
1. 事実5と事実3から、推論1: "あの立て膝は目撃出来ないけれど野蛮国である"が導かれる
2. 事実7から、推論2: "仮にあの立て膝が目撃出来ないがしかし野蛮国ならばそれは外し易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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