「そのウインナーは飛び去るしまたそれは鍬である」ということは偽でない
fact1: もしもこの友人関係が表現し難いならそのウインナーは飛び去る fact2: そのウインナーは長ししそれに罹る fact3: この友人関係はメモリモジュールであるとすると「表現し難い」ということは本当だ fact4: この友人関係はメモリモジュールである fact5: そのウインナーは罹る fact6: 長しものは鍬である
fact3 & fact4 -> int1: この友人関係は表現し難い; int1 & fact1 -> int2: そのウインナーは飛び去る; fact6 -> int3: もし仮にそのウインナーが長しとするとそれは鍬である; fact2 -> int4: そのウインナーは長し; int3 & int4 -> int5: そのウインナーは鍬である; int2 & int5 -> hypothesis;
$facts$ = fact1: もしもこの友人関係が表現し難いならそのウインナーは飛び去る fact2: そのウインナーは長ししそれに罹る fact3: この友人関係はメモリモジュールであるとすると「表現し難い」ということは本当だ fact4: この友人関係はメモリモジュールである fact5: そのウインナーは罹る fact6: 長しものは鍬である ; $hypothesis$ = 「そのウインナーは飛び去るしまたそれは鍬である」ということは偽でない ; $proof$ = 
fact3 & fact4 -> int1: この友人関係は表現し難い; int1 & fact1 -> int2: そのウインナーは飛び去る; fact6 -> int3: もし仮にそのウインナーが長しとするとそれは鍬である; fact2 -> int4: そのウインナーは長し; int3 & int4 -> int5: そのウインナーは鍬である; int2 & int5 -> hypothesis; __PROVED__
事実1: もしもこの友人関係が表現し難いならそのウインナーは飛び去る
事実2: そのウインナーは長ししそれに罹る
事実3: この友人関係はメモリモジュールであるとすると「表現し難い」ということは本当だ
事実4: この友人関係はメモリモジュールである
事実5: そのウインナーは罹る
事実6: 長しものは鍬である

仮説: 「そのウインナーは飛び去るしまたそれは鍬である」ということは偽でない
1. 事実3と事実4から、推論1: "この友人関係は表現し難い"が導かれる
2. 推論1と事実1から、推論2: "そのウインナーは飛び去る"が導かれる
3. 事実6から、推論3: "もし仮にそのウインナーが長しとするとそれは鍬である"が導かれる
4. 事実2から、推論4: "そのウインナーは長し"が導かれる
5. 推論3と推論4から、推論5: "そのウインナーは鍬である"が導かれる
6. 推論2と推論5から、仮説が導かれる

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