その携帯電話は家族員相互だ
fact1: もし仮に「この雛は当たり易いしかつそれは家族員相互だ」ということは真実だとするとその携帯電話は家族員相互でない fact2: 仮に冗談ぽい物はあるとすると「その携帯電話は当たり易いがしかし滲炭能力でない」ということは成り立たない fact3: 「このテトラポットは断定し難い」ということは正しいとすればあの総所得は当たり易い fact4: 「仮に「十月上旬である」ものはあるとすると「その携帯電話は支点だしかつ滲炭能力だ」ということは誤っている」ということは成り立つ fact5: もし仮に「なにかは当たり易い一方で滲炭能力でない」ということは間違いであるとしたらそれは断定し難い fact6: もしこの総所得が当たり易いとするとこの雛は当たり易い fact7: もし仮にある物は線維化ステージであるとすれば「それは息む」ということは事実と異なるということはない fact8: 「冗談ぽい」ものはある fact9: もし仮にこのテトラポットは受電するけれど確認し易いということはないならばそれは断定し難い fact10: 断定し難いものは家族員相互である
fact8 & fact2 -> int1: 「その携帯電話は当たり易いがそれは滲炭能力でない」ということは成り立つということはない; fact5 -> int2: もしも「その携帯電話は当たり易いがしかし滲炭能力でない」ということは成り立たないとすれば断定し難い; int1 & int2 -> int3: その携帯電話は断定し難い; fact10 -> int4: もし仮にその携帯電話が断定し難いとするとそれは家族員相互だ; int3 & int4 -> hypothesis;
fact8 & fact2 -> int1: ¬({B}{a} & ¬{C}{a}); fact5 -> int2: ¬({B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact10 -> int4: {D}{a} -> {E}{a}; int3 & int4 -> hypothesis;
その携帯電話は家族員相互でない
$facts$ = fact1: もし仮に「この雛は当たり易いしかつそれは家族員相互だ」ということは真実だとするとその携帯電話は家族員相互でない fact2: 仮に冗談ぽい物はあるとすると「その携帯電話は当たり易いがしかし滲炭能力でない」ということは成り立たない fact3: 「このテトラポットは断定し難い」ということは正しいとすればあの総所得は当たり易い fact4: 「仮に「十月上旬である」ものはあるとすると「その携帯電話は支点だしかつ滲炭能力だ」ということは誤っている」ということは成り立つ fact5: もし仮に「なにかは当たり易い一方で滲炭能力でない」ということは間違いであるとしたらそれは断定し難い fact6: もしこの総所得が当たり易いとするとこの雛は当たり易い fact7: もし仮にある物は線維化ステージであるとすれば「それは息む」ということは事実と異なるということはない fact8: 「冗談ぽい」ものはある fact9: もし仮にこのテトラポットは受電するけれど確認し易いということはないならばそれは断定し難い fact10: 断定し難いものは家族員相互である ; $hypothesis$ = その携帯電話は家族員相互だ ; $proof$ = 
fact8 & fact2 -> int1: 「その携帯電話は当たり易いがそれは滲炭能力でない」ということは成り立つということはない; fact5 -> int2: もしも「その携帯電話は当たり易いがしかし滲炭能力でない」ということは成り立たないとすれば断定し難い; int1 & int2 -> int3: その携帯電話は断定し難い; fact10 -> int4: もし仮にその携帯電話が断定し難いとするとそれは家族員相互だ; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮に「この雛は当たり易いしかつそれは家族員相互だ」ということは真実だとするとその携帯電話は家族員相互でない
事実2: 仮に冗談ぽい物はあるとすると「その携帯電話は当たり易いがしかし滲炭能力でない」ということは成り立たない
事実3: 「このテトラポットは断定し難い」ということは正しいとすればあの総所得は当たり易い
事実4: 「仮に「十月上旬である」ものはあるとすると「その携帯電話は支点だしかつ滲炭能力だ」ということは誤っている」ということは成り立つ
事実5: もし仮に「なにかは当たり易い一方で滲炭能力でない」ということは間違いであるとしたらそれは断定し難い
事実6: もしこの総所得が当たり易いとするとこの雛は当たり易い
事実7: もし仮にある物は線維化ステージであるとすれば「それは息む」ということは事実と異なるということはない
事実8: 「冗談ぽい」ものはある
事実9: もし仮にこのテトラポットは受電するけれど確認し易いということはないならばそれは断定し難い
事実10: 断定し難いものは家族員相互である

仮説: その携帯電話は家族員相互だ
1. 事実8と事実2から、推論1: "「その携帯電話は当たり易いがそれは滲炭能力でない」ということは成り立つということはない"が導かれる
2. 事実5から、推論2: "もしも「その携帯電話は当たり易いがしかし滲炭能力でない」ということは成り立たないとすれば断定し難い"が導かれる
3. 推論1と推論2から、推論3: "その携帯電話は断定し難い"が導かれる
4. 事実10から、推論4: "もし仮にその携帯電話が断定し難いとするとそれは家族員相互だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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