この海外メーカーが論理療法だしさらに親しい
fact1: この海外メーカーは話し合えない一方で朱紅色だ fact2: その大闘争は捩じれ曲がらない fact3: 仮にこの和語連珠集は話し合えないならばそれは急性腹症だ fact4: この海外メーカーが捩じれ曲がらないしそれに成人並みでないとしたら「論理療法である」ということは間違いでない fact5: この海外メーカーは消化し難くてそれにそれは取っ付き難い fact6: もし仮にこの海外メーカーが相続出来ないならば弾き易い fact7: その珍味が成人並みであるとしたらあの格好は話し合えない fact8: もしもこの海外メーカーが弾き易くてまた丸いとすればその二Ｒは弾き易いということはない fact9: この海外メーカーは相続出来ない fact10: この海外メーカーは朱紅色である fact11: この海外メーカーは島国日本でない fact12: その消費課税は直り難いがしかしＤＳ本体でないとすれば作用し合わない fact13: あの発表は成人並みであるし捩じれ曲がる fact14: もしこの海外メーカーは蘇生しなくてしかも和食レストランであるということはないとしたら落ち難い fact15: この銃は相続出来ない fact16: 仮にこの海外メーカーが丸くないとしたら成人並みでない fact17: もし仮にあの令が精密鑢だがしかしそれはホスピス・ボランティア活動でないなら張り切り過ぎない fact18: もしもこの海外メーカーは弾き易いけれど話し合えないなら「それは丸くない」ということは真実である fact19: もしもあの格好は相続出来ないとすると「この海外メーカーは論理療法で親しい」ということは成り立たない fact20: この海外メーカーは避け難くない fact21: この海外メーカーは捩じれ曲がらない fact22: あのケーブル自体は話し合えない fact23: 仮にあの格好が話し合えないとすればあの海外メーカーは弾き易いしそれに丸い fact24: この海外メーカーは親しい
fact6 & fact9 -> int1: この海外メーカーは弾き易い; fact1 -> int2: 「この海外メーカーは話し合えない」ということは成り立つ; int1 & int2 -> int3: この海外メーカーは弾き易いがしかし話し合えるということはない; int3 & fact18 -> int4: この海外メーカーは丸くない; int4 & fact16 -> int5: この海外メーカーは成人並みでない; int5 & fact21 -> int6: この海外メーカーは捩じれ曲がらないししかも成人並みでない; int6 & fact4 -> int7: この海外メーカーは論理療法である; int7 & fact24 -> hypothesis;
その二Ｒは相続出来るけれどそれは四十歳代だということはない
fact27 -> int8: あの発表は成人並みである; int8 -> int9: あの発表は成人並みであるかあるいは論理療法でないかまたはどちらもだ; int9 -> int10: 「成人並みであるか論理療法でない」物はある;
$facts$ = fact1: この海外メーカーは話し合えない一方で朱紅色だ fact2: その大闘争は捩じれ曲がらない fact3: 仮にこの和語連珠集は話し合えないならばそれは急性腹症だ fact4: この海外メーカーが捩じれ曲がらないしそれに成人並みでないとしたら「論理療法である」ということは間違いでない fact5: この海外メーカーは消化し難くてそれにそれは取っ付き難い fact6: もし仮にこの海外メーカーが相続出来ないならば弾き易い fact7: その珍味が成人並みであるとしたらあの格好は話し合えない fact8: もしもこの海外メーカーが弾き易くてまた丸いとすればその二Ｒは弾き易いということはない fact9: この海外メーカーは相続出来ない fact10: この海外メーカーは朱紅色である fact11: この海外メーカーは島国日本でない fact12: その消費課税は直り難いがしかしＤＳ本体でないとすれば作用し合わない fact13: あの発表は成人並みであるし捩じれ曲がる fact14: もしこの海外メーカーは蘇生しなくてしかも和食レストランであるということはないとしたら落ち難い fact15: この銃は相続出来ない fact16: 仮にこの海外メーカーが丸くないとしたら成人並みでない fact17: もし仮にあの令が精密鑢だがしかしそれはホスピス・ボランティア活動でないなら張り切り過ぎない fact18: もしもこの海外メーカーは弾き易いけれど話し合えないなら「それは丸くない」ということは真実である fact19: もしもあの格好は相続出来ないとすると「この海外メーカーは論理療法で親しい」ということは成り立たない fact20: この海外メーカーは避け難くない fact21: この海外メーカーは捩じれ曲がらない fact22: あのケーブル自体は話し合えない fact23: 仮にあの格好が話し合えないとすればあの海外メーカーは弾き易いしそれに丸い fact24: この海外メーカーは親しい ; $hypothesis$ = この海外メーカーが論理療法だしさらに親しい ; $proof$ = 
fact6 & fact9 -> int1: この海外メーカーは弾き易い; fact1 -> int2: 「この海外メーカーは話し合えない」ということは成り立つ; int1 & int2 -> int3: この海外メーカーは弾き易いがしかし話し合えるということはない; int3 & fact18 -> int4: この海外メーカーは丸くない; int4 & fact16 -> int5: この海外メーカーは成人並みでない; int5 & fact21 -> int6: この海外メーカーは捩じれ曲がらないししかも成人並みでない; int6 & fact4 -> int7: この海外メーカーは論理療法である; int7 & fact24 -> hypothesis; __PROVED__
事実1: この海外メーカーは話し合えない一方で朱紅色だ
事実2: その大闘争は捩じれ曲がらない
事実3: 仮にこの和語連珠集は話し合えないならばそれは急性腹症だ
事実4: この海外メーカーが捩じれ曲がらないしそれに成人並みでないとしたら「論理療法である」ということは間違いでない
事実5: この海外メーカーは消化し難くてそれにそれは取っ付き難い
事実6: もし仮にこの海外メーカーが相続出来ないならば弾き易い
事実7: その珍味が成人並みであるとしたらあの格好は話し合えない
事実8: もしもこの海外メーカーが弾き易くてまた丸いとすればその二Ｒは弾き易いということはない
事実9: この海外メーカーは相続出来ない
事実10: この海外メーカーは朱紅色である
事実11: この海外メーカーは島国日本でない
事実12: その消費課税は直り難いがしかしＤＳ本体でないとすれば作用し合わない
事実13: あの発表は成人並みであるし捩じれ曲がる
事実14: もしこの海外メーカーは蘇生しなくてしかも和食レストランであるということはないとしたら落ち難い
事実15: この銃は相続出来ない
事実16: 仮にこの海外メーカーが丸くないとしたら成人並みでない
事実17: もし仮にあの令が精密鑢だがしかしそれはホスピス・ボランティア活動でないなら張り切り過ぎない
事実18: もしもこの海外メーカーは弾き易いけれど話し合えないなら「それは丸くない」ということは真実である
事実19: もしもあの格好は相続出来ないとすると「この海外メーカーは論理療法で親しい」ということは成り立たない
事実20: この海外メーカーは避け難くない
事実21: この海外メーカーは捩じれ曲がらない
事実22: あのケーブル自体は話し合えない
事実23: 仮にあの格好が話し合えないとすればあの海外メーカーは弾き易いしそれに丸い
事実24: この海外メーカーは親しい

仮説: この海外メーカーが論理療法だしさらに親しい
1. 事実6と事実9から、推論1: "この海外メーカーは弾き易い"が導かれる
2. 事実1から、推論2: "「この海外メーカーは話し合えない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この海外メーカーは弾き易いがしかし話し合えるということはない"が導かれる
4. 推論3と事実18から、推論4: "この海外メーカーは丸くない"が導かれる
5. 推論4と事実16から、推論5: "この海外メーカーは成人並みでない"が導かれる
6. 推論5と事実21から、推論6: "この海外メーカーは捩じれ曲がらないししかも成人並みでない"が導かれる
7. 推論6と事実4から、推論7: "この海外メーカーは論理療法である"が導かれる
8. 推論7と事実24から、仮説が導かれる

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