この配当控除は募金活動である
fact1: 浅いものは目的である fact2: この宗主国は浅いし犯し易い fact3: この宗主国は受け難い fact4: この不起訴は犯し易い fact5: 仮にこの社会問題が見易いとすればそれは吹き下ろす fact6: 仮に浅くないものが犯し易くないとすればそれは募金活動でない fact7: この代表的日本人は募金活動であるししかも鼻咽頭炎である fact8: あの二戦は待ち切れるしさらに目的だ fact9: この配当控除は目動脈だし消え掛ける fact10: 仮にこの宗主国が目的だとしたらこの配当控除は募金活動だ fact11: あの点検箇所は浅くてそれは御出迎えする fact12: この宗主国は渡御しない fact13: この配当控除が浅いならこの宗主国は募金活動だ fact14: もし仮に「ある物はリード出来るし掘り起こす」ということは誤っていれば「掘り起こさない」ということは間違いでない fact15: この配当控除はクランプする fact16: あの基点は犯し易い fact17: この配当控除は医療活動だ fact18: その功利主義者は浅い fact19: この配当控除は犯し易い fact20: この宗主国は犯し易い fact21: この宗主国は募金活動である fact22: もしこの宗主国は渡御しないとしたら「それはリード出来るし掘り起こす」ということは成り立つということはない fact23: 目的は募金活動だ
fact2 -> int1: この宗主国は浅い; fact1 -> int2: もし仮にこの宗主国が浅いとすればそれは目的だ; int1 & int2 -> int3: この宗主国は目的である; int3 & fact10 -> hypothesis;
この配当控除は募金活動でない
fact25 -> int4: この配当控除は浅くないし更に犯し易くないとするとそれは募金活動でない; fact24 -> int5: もし「この宗主国はリード出来るししかも掘り起こす」ということは偽であるならそれは掘り起こさない; fact26 & fact27 -> int6: 「この宗主国はリード出来るしそれに掘り起こす」ということは誤っている; int5 & int6 -> int7: この宗主国は掘り起こさない; int7 -> int8: 「掘り起こさない」物はある;
$facts$ = fact1: 浅いものは目的である fact2: この宗主国は浅いし犯し易い fact3: この宗主国は受け難い fact4: この不起訴は犯し易い fact5: 仮にこの社会問題が見易いとすればそれは吹き下ろす fact6: 仮に浅くないものが犯し易くないとすればそれは募金活動でない fact7: この代表的日本人は募金活動であるししかも鼻咽頭炎である fact8: あの二戦は待ち切れるしさらに目的だ fact9: この配当控除は目動脈だし消え掛ける fact10: 仮にこの宗主国が目的だとしたらこの配当控除は募金活動だ fact11: あの点検箇所は浅くてそれは御出迎えする fact12: この宗主国は渡御しない fact13: この配当控除が浅いならこの宗主国は募金活動だ fact14: もし仮に「ある物はリード出来るし掘り起こす」ということは誤っていれば「掘り起こさない」ということは間違いでない fact15: この配当控除はクランプする fact16: あの基点は犯し易い fact17: この配当控除は医療活動だ fact18: その功利主義者は浅い fact19: この配当控除は犯し易い fact20: この宗主国は犯し易い fact21: この宗主国は募金活動である fact22: もしこの宗主国は渡御しないとしたら「それはリード出来るし掘り起こす」ということは成り立つということはない fact23: 目的は募金活動だ ; $hypothesis$ = この配当控除は募金活動である ; $proof$ = 
fact2 -> int1: この宗主国は浅い; fact1 -> int2: もし仮にこの宗主国が浅いとすればそれは目的だ; int1 & int2 -> int3: この宗主国は目的である; int3 & fact10 -> 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: 目的は募金活動だ

仮説: この配当控除は募金活動である
1. 事実2から、推論1: "この宗主国は浅い"が導かれる
2. 事実1から、推論2: "もし仮にこの宗主国が浅いとすればそれは目的だ"が導かれる
3. 推論1と推論2から、推論3: "この宗主国は目的である"が導かれる
4. 推論3と事実10から、仮説が導かれる

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