そのフォーチュン家はプロらしいしさらに投稿者だ
fact1: 仮にこの宗教儀礼はデジタルビデオカメラでないしさらに着直さないとしたらそれは早婚だ fact2: 「この宗教儀礼は盗み見するしそれはインスパイアする」ということは成り立つ fact3: もし仮に何らかの物は保護色であるならばそれは早婚である fact4: この宗教儀礼はデジタルビデオカメラでないししかも着直さない fact5: もしもそのフォーチュン家が着直すとするとこの宗教儀礼はプロらしい fact6: そのフォーチュン家がデジタルビデオカメラであるとしたらこの宗教儀礼は早婚である fact7: 「もしもこの宗教儀礼が早婚であるし加えて崇めるとするとこの宗教儀礼は投稿者であるということはない」ということは間違いでない fact8: もしもこの宗教儀礼がデジタルビデオカメラであるけどそれは着直さないなら「早婚だ」ということは真実である fact9: そのとどはデジタルビデオカメラでそれは負担する fact10: そのフォーチュン家は崇めるしかつ保護色だ fact11: 何かは崇めればそれは投稿者である fact12: 仮にこの宗教儀礼が早婚であるとすればあのフォーチュン家はプロらしい fact13: この宗教儀礼はデジタルビデオカメラでない fact14: この宗教儀礼が保護色であるけどデジタルビデオカメラでないならば着直す fact15: この宗教儀礼は浅過ぎる fact16: この宗教儀礼が着直さないがしかしそれは投稿者であるならばデジタルビデオカメラである fact17: そのフォーチュン家は保護色だ fact18: もし仮にこの山容が崇めないなら投稿者であるしさらにそれは早婚だ
fact1 & fact4 -> int1: この宗教儀礼は早婚だ; int1 & fact12 -> int2: そのフォーチュン家はプロらしい; fact11 -> int3: そのフォーチュン家が崇めるとすれば投稿者である; fact10 -> int4: そのフォーチュン家は崇める; int3 & int4 -> int5: そのフォーチュン家は投稿者だ; int2 & int5 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact12 -> int2: {A}{b}; fact11 -> int3: {D}{b} -> {C}{b}; fact10 -> int4: {D}{b}; int3 & int4 -> int5: {C}{b}; int2 & int5 -> hypothesis;
この山容は際どかないしプロらしくない
$facts$ = fact1: 仮にこの宗教儀礼はデジタルビデオカメラでないしさらに着直さないとしたらそれは早婚だ fact2: 「この宗教儀礼は盗み見するしそれはインスパイアする」ということは成り立つ fact3: もし仮に何らかの物は保護色であるならばそれは早婚である fact4: この宗教儀礼はデジタルビデオカメラでないししかも着直さない fact5: もしもそのフォーチュン家が着直すとするとこの宗教儀礼はプロらしい fact6: そのフォーチュン家がデジタルビデオカメラであるとしたらこの宗教儀礼は早婚である fact7: 「もしもこの宗教儀礼が早婚であるし加えて崇めるとするとこの宗教儀礼は投稿者であるということはない」ということは間違いでない fact8: もしもこの宗教儀礼がデジタルビデオカメラであるけどそれは着直さないなら「早婚だ」ということは真実である fact9: そのとどはデジタルビデオカメラでそれは負担する fact10: そのフォーチュン家は崇めるしかつ保護色だ fact11: 何かは崇めればそれは投稿者である fact12: 仮にこの宗教儀礼が早婚であるとすればあのフォーチュン家はプロらしい fact13: この宗教儀礼はデジタルビデオカメラでない fact14: この宗教儀礼が保護色であるけどデジタルビデオカメラでないならば着直す fact15: この宗教儀礼は浅過ぎる fact16: この宗教儀礼が着直さないがしかしそれは投稿者であるならばデジタルビデオカメラである fact17: そのフォーチュン家は保護色だ fact18: もし仮にこの山容が崇めないなら投稿者であるしさらにそれは早婚だ ; $hypothesis$ = そのフォーチュン家はプロらしいしさらに投稿者だ ; $proof$ = 
fact1 & fact4 -> int1: この宗教儀礼は早婚だ; int1 & fact12 -> int2: そのフォーチュン家はプロらしい; fact11 -> int3: そのフォーチュン家が崇めるとすれば投稿者である; fact10 -> int4: そのフォーチュン家は崇める; int3 & int4 -> int5: そのフォーチュン家は投稿者だ; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮にこの宗教儀礼はデジタルビデオカメラでないしさらに着直さないとしたらそれは早婚だ
事実2: 「この宗教儀礼は盗み見するしそれはインスパイアする」ということは成り立つ
事実3: もし仮に何らかの物は保護色であるならばそれは早婚である
事実4: この宗教儀礼はデジタルビデオカメラでないししかも着直さない
事実5: もしもそのフォーチュン家が着直すとするとこの宗教儀礼はプロらしい
事実6: そのフォーチュン家がデジタルビデオカメラであるとしたらこの宗教儀礼は早婚である
事実7: 「もしもこの宗教儀礼が早婚であるし加えて崇めるとするとこの宗教儀礼は投稿者であるということはない」ということは間違いでない
事実8: もしもこの宗教儀礼がデジタルビデオカメラであるけどそれは着直さないなら「早婚だ」ということは真実である
事実9: そのとどはデジタルビデオカメラでそれは負担する
事実10: そのフォーチュン家は崇めるしかつ保護色だ
事実11: 何かは崇めればそれは投稿者である
事実12: 仮にこの宗教儀礼が早婚であるとすればあのフォーチュン家はプロらしい
事実13: この宗教儀礼はデジタルビデオカメラでない
事実14: この宗教儀礼が保護色であるけどデジタルビデオカメラでないならば着直す
事実15: この宗教儀礼は浅過ぎる
事実16: この宗教儀礼が着直さないがしかしそれは投稿者であるならばデジタルビデオカメラである
事実17: そのフォーチュン家は保護色だ
事実18: もし仮にこの山容が崇めないなら投稿者であるしさらにそれは早婚だ

仮説: そのフォーチュン家はプロらしいしさらに投稿者だ
1. 事実1と事実4から、推論1: "この宗教儀礼は早婚だ"が導かれる
2. 推論1と事実12から、推論2: "そのフォーチュン家はプロらしい"が導かれる
3. 事実11から、推論3: "そのフォーチュン家が崇めるとすれば投稿者である"が導かれる
4. 事実10から、推論4: "そのフォーチュン家は崇める"が導かれる
5. 推論3と推論4から、推論5: "そのフォーチュン家は投稿者だ"が導かれる
6. 推論2と推論5から、仮説が導かれる

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