その生糸は旨ししランディング・ビーチだ
fact1: もしもその生糸が思い易いとすればこのスプラッシュスクリーンは色好い fact2: その生糸が思い易くないなら旨し fact3: 「そのＦＭラジオは思い易くない一方で色好い」ということは成り立たないならこのスプラッシュスクリーンは思い易くない fact4: もしもなんらかのものが無次元化しないならばそれは行かさないしさらにそれは区別し易い fact5: もしもこのスプラッシュスクリーンは思い易くないなら「その生糸は旨ししおまけにランディング・ビーチだ」ということは成り立つということはない fact6: そのＦＭラジオは行かすということはないけれど色好い fact7: そのＦＭラジオは行かさない fact8: もし仮にそのＦＭラジオが行かすしおまけに色好いならばこのスプラッシュスクリーンは色好くない fact9: もし何らかのものが思い易くないとしたら旨し fact10: もし仮にこのスプラッシュスクリーンは思い易いなら「その生糸は地区予選でない」ということは間違いである fact11: その生糸は旨し fact12: もし仮になにがしかのものが思い易くないならそれは旨ししランディング・ビーチだ fact13: もしもそのＦＭラジオが旨しならばあの生糸は行かす fact14: もしもそのＦＭラジオが行かさない一方で色好いとするとこのスプラッシュスクリーンは色好くない
void -> assump1: 以下のように仮定する。その生糸は思い易い; fact1 & assump1 -> int1: このスプラッシュスクリーンは色好い; fact14 & fact6 -> int2: このスプラッシュスクリーンは色好いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その生糸は思い易い」ということは誤っている; fact12 -> int5: もしもその生糸が思い易くないとしたらそれは旨ししランディング・ビーチである; int4 & int5 -> hypothesis;
その生糸は地区予選である
$facts$ = fact1: もしもその生糸が思い易いとすればこのスプラッシュスクリーンは色好い fact2: その生糸が思い易くないなら旨し fact3: 「そのＦＭラジオは思い易くない一方で色好い」ということは成り立たないならこのスプラッシュスクリーンは思い易くない fact4: もしもなんらかのものが無次元化しないならばそれは行かさないしさらにそれは区別し易い fact5: もしもこのスプラッシュスクリーンは思い易くないなら「その生糸は旨ししおまけにランディング・ビーチだ」ということは成り立つということはない fact6: そのＦＭラジオは行かすということはないけれど色好い fact7: そのＦＭラジオは行かさない fact8: もし仮にそのＦＭラジオが行かすしおまけに色好いならばこのスプラッシュスクリーンは色好くない fact9: もし何らかのものが思い易くないとしたら旨し fact10: もし仮にこのスプラッシュスクリーンは思い易いなら「その生糸は地区予選でない」ということは間違いである fact11: その生糸は旨し fact12: もし仮になにがしかのものが思い易くないならそれは旨ししランディング・ビーチだ fact13: もしもそのＦＭラジオが旨しならばあの生糸は行かす fact14: もしもそのＦＭラジオが行かさない一方で色好いとするとこのスプラッシュスクリーンは色好くない ; $hypothesis$ = その生糸は旨ししランディング・ビーチだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その生糸は思い易い; fact1 & assump1 -> int1: このスプラッシュスクリーンは色好い; fact14 & fact6 -> int2: このスプラッシュスクリーンは色好いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その生糸は思い易い」ということは誤っている; fact12 -> int5: もしもその生糸が思い易くないとしたらそれは旨ししランディング・ビーチである; int4 & int5 -> hypothesis; __PROVED__
事実1: もしもその生糸が思い易いとすればこのスプラッシュスクリーンは色好い
事実2: その生糸が思い易くないなら旨し
事実3: 「そのＦＭラジオは思い易くない一方で色好い」ということは成り立たないならこのスプラッシュスクリーンは思い易くない
事実4: もしもなんらかのものが無次元化しないならばそれは行かさないしさらにそれは区別し易い
事実5: もしもこのスプラッシュスクリーンは思い易くないなら「その生糸は旨ししおまけにランディング・ビーチだ」ということは成り立つということはない
事実6: そのＦＭラジオは行かすということはないけれど色好い
事実7: そのＦＭラジオは行かさない
事実8: もし仮にそのＦＭラジオが行かすしおまけに色好いならばこのスプラッシュスクリーンは色好くない
事実9: もし何らかのものが思い易くないとしたら旨し
事実10: もし仮にこのスプラッシュスクリーンは思い易いなら「その生糸は地区予選でない」ということは間違いである
事実11: その生糸は旨し
事実12: もし仮になにがしかのものが思い易くないならそれは旨ししランディング・ビーチだ
事実13: もしもそのＦＭラジオが旨しならばあの生糸は行かす
事実14: もしもそのＦＭラジオが行かさない一方で色好いとするとこのスプラッシュスクリーンは色好くない

仮説: その生糸は旨ししランディング・ビーチだ
1. 仮定1: 以下のように仮定する。その生糸は思い易い
2. 事実1と仮定1から、推論1: "このスプラッシュスクリーンは色好い"が導かれる
3. 事実14と事実6から、推論2: "このスプラッシュスクリーンは色好いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その生糸は思い易い」ということは誤っている"が導かれる
6. 事実12から、推論5: "もしもその生糸が思い易くないとしたらそれは旨ししランディング・ビーチである"が導かれる
7. 推論4と推論5から、仮説が導かれる

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