このＤＴは書き易いけれどドッグフードでない
fact1: もし何らかの物が割り広げるとするとそれは根気強くない fact2: この千九百六十年代頃が根気強いということはないとすればあのＤＴは書き易いがしかしそれはドッグフードでない fact3: もしある物は割り広げるか世帯単位なら根気強くない fact4: 何らかのものは割り広げるとすれば「それは書き易くてそれはドッグフードだということはない」ということは成り立たない fact5: 黒胡麻は根気強い fact6: もし仮にこの千九百六十年代頃が割り広げるとすればそれは根気強くない fact7: 仮にこの千九百六十年代頃は根気強いとすれば「このＤＴは世帯単位だ」ということは確かだ fact8: この千九百六十年代頃は世帯単位である fact9: この千九百六十年代頃が根気強くないとしたらこのＤＴはドッグフードでない fact10: このＤＴはドッグフードでない fact11: とあるものが浜笛吹き稚魚だとすれば黒胡麻である
fact8 -> int1: この千九百六十年代頃は割り広げるかあるいは世帯単位であるかまたは両方だ; fact3 -> int2: もしもこの千九百六十年代頃が割り広げるかあるいはそれは世帯単位であるかもしくはどちらもだとすればそれは根気強くない; int1 & int2 -> int3: この千九百六十年代頃は根気強いということはない; int3 & fact2 -> hypothesis;
「このＤＴは書き易いけれどそれはドッグフードでない」ということは確かでない
fact14 -> int4: もし仮に「このＤＴは割り広げる」ということは正しいとしたら「それは書き易くてかつそれはドッグフードでない」ということは間違いだ; fact13 -> int5: もし仮にこの千九百六十年代頃が黒胡麻なら根気強い; fact15 -> int6: 仮にこの千九百六十年代頃が浜笛吹き稚魚だとするとそれは黒胡麻だ;
$facts$ = fact1: もし何らかの物が割り広げるとするとそれは根気強くない fact2: この千九百六十年代頃が根気強いということはないとすればあのＤＴは書き易いがしかしそれはドッグフードでない fact3: もしある物は割り広げるか世帯単位なら根気強くない fact4: 何らかのものは割り広げるとすれば「それは書き易くてそれはドッグフードだということはない」ということは成り立たない fact5: 黒胡麻は根気強い fact6: もし仮にこの千九百六十年代頃が割り広げるとすればそれは根気強くない fact7: 仮にこの千九百六十年代頃は根気強いとすれば「このＤＴは世帯単位だ」ということは確かだ fact8: この千九百六十年代頃は世帯単位である fact9: この千九百六十年代頃が根気強くないとしたらこのＤＴはドッグフードでない fact10: このＤＴはドッグフードでない fact11: とあるものが浜笛吹き稚魚だとすれば黒胡麻である ; $hypothesis$ = このＤＴは書き易いけれどドッグフードでない ; $proof$ = 
fact8 -> int1: この千九百六十年代頃は割り広げるかあるいは世帯単位であるかまたは両方だ; fact3 -> int2: もしもこの千九百六十年代頃が割り広げるかあるいはそれは世帯単位であるかもしくはどちらもだとすればそれは根気強くない; int1 & int2 -> int3: この千九百六十年代頃は根気強いということはない; int3 & fact2 -> hypothesis; __PROVED__
事実1: もし何らかの物が割り広げるとするとそれは根気強くない
事実2: この千九百六十年代頃が根気強いということはないとすればあのＤＴは書き易いがしかしそれはドッグフードでない
事実3: もしある物は割り広げるか世帯単位なら根気強くない
事実4: 何らかのものは割り広げるとすれば「それは書き易くてそれはドッグフードだということはない」ということは成り立たない
事実5: 黒胡麻は根気強い
事実6: もし仮にこの千九百六十年代頃が割り広げるとすればそれは根気強くない
事実7: 仮にこの千九百六十年代頃は根気強いとすれば「このＤＴは世帯単位だ」ということは確かだ
事実8: この千九百六十年代頃は世帯単位である
事実9: この千九百六十年代頃が根気強くないとしたらこのＤＴはドッグフードでない
事実10: このＤＴはドッグフードでない
事実11: とあるものが浜笛吹き稚魚だとすれば黒胡麻である

仮説: このＤＴは書き易いけれどドッグフードでない
1. 事実8から、推論1: "この千九百六十年代頃は割り広げるかあるいは世帯単位であるかまたは両方だ"が導かれる
2. 事実3から、推論2: "もしもこの千九百六十年代頃が割り広げるかあるいはそれは世帯単位であるかもしくはどちらもだとすればそれは根気強くない"が導かれる
3. 推論1と推論2から、推論3: "この千九百六十年代頃は根気強いということはない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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