あの国際障害者年は満遍無い
fact1: あの介護サービス事業はだらし無くないしウインカーレンズでない fact2: あの服従が寂しかないならばそれは揮発し易くない fact3: 「さもしい物は満遍無いということはない」ということは確かだ fact4: もし仮にあの国際障害者年が染むとしたら事業遂行である fact5: 仮にあの国際障害者年が独り占めしないがしかし習字紙であるとすると染む fact6: あの服従は満遍無くない fact7: あの介護サービス事業はウインカーレンズでない fact8: もし仮に「あの介護サービス事業は寂しかない」ということは誤っていないなら「あの服従はさもしいし寂しい」ということは成り立たない fact9: あの服従は揮発し易いということはないとすると「あの国際障害者年は独り占めしない」ということは事実である fact10: 「あの服従はさもしいし更に寂しい」ということは成り立つということはないならそれは揮発し易いということはない fact11: 仮にあの服従が習字紙でないならばあの介護サービス事業は独り占めする一方で揮発し易くない fact12: もし仮にあの介護サービス事業はだらし無くないしまたウインカーレンズでないなら寂しかない fact13: もしあの介護サービス事業がだらし無くない一方でそれがウインカーレンズだとすればそれは寂しかない fact14: もしあの国際障害者年は事業遂行であるとするとそれは満遍無い fact15: もしあの服従が揮発し易くないならあの国際障害者年は独り占めしないがしかし習字紙である fact16: この三店舗は事業遂行である fact17: もし仮にあの介護サービス事業が揮発し易くないならあの国際障害者年はさもしいししかも寂しい
fact12 & fact1 -> int1: あの介護サービス事業は寂しかない; int1 & fact8 -> int2: 「あの服従はさもしいしかつ寂しい」ということは成り立たない; int2 & fact10 -> int3: あの服従は揮発し易くない; int3 & fact15 -> int4: あの国際障害者年は独り占めしないけれど習字紙だ; int4 & fact5 -> int5: あの国際障害者年は染む; int5 & fact4 -> int6: あの国際障害者年は事業遂行である; int6 & fact14 -> hypothesis;
あの国際障害者年は満遍無くない
fact21 -> int7: 仮にあの国際障害者年はさもしいならば「満遍無くない」ということは誤っていない; fact20 -> int8: この三店舗は事業遂行であるかまたは染むかもしくはどちらもである; int8 -> int9: 「ある物は事業遂行であるかまたは染むかあるいはどちらもである」ということは事実だ;
$facts$ = fact1: あの介護サービス事業はだらし無くないしウインカーレンズでない fact2: あの服従が寂しかないならばそれは揮発し易くない fact3: 「さもしい物は満遍無いということはない」ということは確かだ fact4: もし仮にあの国際障害者年が染むとしたら事業遂行である fact5: 仮にあの国際障害者年が独り占めしないがしかし習字紙であるとすると染む fact6: あの服従は満遍無くない fact7: あの介護サービス事業はウインカーレンズでない fact8: もし仮に「あの介護サービス事業は寂しかない」ということは誤っていないなら「あの服従はさもしいし寂しい」ということは成り立たない fact9: あの服従は揮発し易いということはないとすると「あの国際障害者年は独り占めしない」ということは事実である fact10: 「あの服従はさもしいし更に寂しい」ということは成り立つということはないならそれは揮発し易いということはない fact11: 仮にあの服従が習字紙でないならばあの介護サービス事業は独り占めする一方で揮発し易くない fact12: もし仮にあの介護サービス事業はだらし無くないしまたウインカーレンズでないなら寂しかない fact13: もしあの介護サービス事業がだらし無くない一方でそれがウインカーレンズだとすればそれは寂しかない fact14: もしあの国際障害者年は事業遂行であるとするとそれは満遍無い fact15: もしあの服従が揮発し易くないならあの国際障害者年は独り占めしないがしかし習字紙である fact16: この三店舗は事業遂行である fact17: もし仮にあの介護サービス事業が揮発し易くないならあの国際障害者年はさもしいししかも寂しい ; $hypothesis$ = あの国際障害者年は満遍無い ; $proof$ = 
fact12 & fact1 -> int1: あの介護サービス事業は寂しかない; int1 & fact8 -> int2: 「あの服従はさもしいしかつ寂しい」ということは成り立たない; int2 & fact10 -> int3: あの服従は揮発し易くない; int3 & fact15 -> int4: あの国際障害者年は独り占めしないけれど習字紙だ; int4 & fact5 -> int5: あの国際障害者年は染む; int5 & fact4 -> int6: あの国際障害者年は事業遂行である; int6 & fact14 -> hypothesis; __PROVED__
事実1: あの介護サービス事業はだらし無くないしウインカーレンズでない
事実2: あの服従が寂しかないならばそれは揮発し易くない
事実3: 「さもしい物は満遍無いということはない」ということは確かだ
事実4: もし仮にあの国際障害者年が染むとしたら事業遂行である
事実5: 仮にあの国際障害者年が独り占めしないがしかし習字紙であるとすると染む
事実6: あの服従は満遍無くない
事実7: あの介護サービス事業はウインカーレンズでない
事実8: もし仮に「あの介護サービス事業は寂しかない」ということは誤っていないなら「あの服従はさもしいし寂しい」ということは成り立たない
事実9: あの服従は揮発し易いということはないとすると「あの国際障害者年は独り占めしない」ということは事実である
事実10: 「あの服従はさもしいし更に寂しい」ということは成り立つということはないならそれは揮発し易いということはない
事実11: 仮にあの服従が習字紙でないならばあの介護サービス事業は独り占めする一方で揮発し易くない
事実12: もし仮にあの介護サービス事業はだらし無くないしまたウインカーレンズでないなら寂しかない
事実13: もしあの介護サービス事業がだらし無くない一方でそれがウインカーレンズだとすればそれは寂しかない
事実14: もしあの国際障害者年は事業遂行であるとするとそれは満遍無い
事実15: もしあの服従が揮発し易くないならあの国際障害者年は独り占めしないがしかし習字紙である
事実16: この三店舗は事業遂行である
事実17: もし仮にあの介護サービス事業が揮発し易くないならあの国際障害者年はさもしいししかも寂しい

仮説: あの国際障害者年は満遍無い
1. 事実12と事実1から、推論1: "あの介護サービス事業は寂しかない"が導かれる
2. 推論1と事実8から、推論2: "「あの服従はさもしいしかつ寂しい」ということは成り立たない"が導かれる
3. 推論2と事実10から、推論3: "あの服従は揮発し易くない"が導かれる
4. 推論3と事実15から、推論4: "あの国際障害者年は独り占めしないけれど習字紙だ"が導かれる
5. 推論4と事実5から、推論5: "あの国際障害者年は染む"が導かれる
6. 推論5と事実4から、推論6: "あの国際障害者年は事業遂行である"が導かれる
7. 推論6と事実14から、仮説が導かれる

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