そののんは起動しない
fact1: もし仮に「あの兄弟達は鬱陶しかない」ということは本当であるとしたら「その見なし配当はデジタルカメラである」ということは間違いでない fact2: その見なし配当は起動しない一方で取り回す fact3: 固しものは宣教する fact4: その見なし配当が宣教しないとすればそののんは宣教しないが取り回す fact5: もし仮に「あのＴＩＦは三日号でないしおまけに教科書行政でない」ということは正しくないとすればその見なし配当は賢くない fact6: その授業時間は取り回さないけれどそれは洒落臭い fact7: もし仮に「ある物は宣教するしおまけにそれはデジタルカメラである」ということは成り立つとするとそれは凝らない fact8: その見なし配当は呼び戻さないがしかし減少する fact9: あの兄弟達が側縁でないならばあの見なし配当はデジタルカメラだ fact10: もし仮になんらかの物が取り回さないとすれば起動しないがベンチャー支援だ fact11: 仮にあるものは産業復興だとしたら「三日号でないしさらにそれは教科書行政でない」ということは成り立たない fact12: 賢くないものは固ししまた字型である fact13: なにかは本当らしいとすれば側縁でないか鬱陶しかないか両方だ fact14: もし仮にその見なし配当が起動しないとすればあののんは起動するということはない一方でそれは宣教する fact15: あのＴＩＦは産業復興である fact16: とあるものはデジタルカメラだとすれば「凝らない一方で宣教する」ということは誤っている fact17: こののんはスポーツマンらしくない fact18: 「その見なし配当は凝るということはない」ということは確かであるとすればそののんは起動するし取り回す
fact2 -> int1: その見なし配当は起動しない; int1 & fact14 -> int2: こののんは起動するということはないが宣教する; int2 -> hypothesis;
fact2 -> int1: ¬{A}{a}; int1 & fact14 -> int2: (¬{A}{b} & {D}{b}); int2 -> hypothesis;
そののんは起動する
fact25 -> int3: もし仮にその見なし配当が宣教するしまたデジタルカメラならばそれは凝らない; fact21 -> int4: もしも「その見なし配当は賢くない」ということは事実と異ならないとするとそれは固しし字型である; fact27 -> int5: もしもあのＴＩＦは産業復興だとしたら「それは三日号でなくて教科書行政でない」ということは誤りである; int5 & fact20 -> int6: 「あのＴＩＦは三日号だということはないしかつ教科書行政でない」ということは偽である; int6 & fact24 -> int7: その見なし配当は賢くない; int4 & int7 -> int8: 「その見なし配当は固しし字型だ」ということは成り立つ; int8 -> int9: その見なし配当は固し; fact19 -> int10: もしもその見なし配当は固しなら「宣教する」ということは成り立つ; int9 & int10 -> int11: その見なし配当は宣教する; fact23 -> int12: もし仮にその差額が本当らしいとするとそれは側縁でないかあるいは鬱陶しいということはないかどちらもだ;
$facts$ = fact1: もし仮に「あの兄弟達は鬱陶しかない」ということは本当であるとしたら「その見なし配当はデジタルカメラである」ということは間違いでない fact2: その見なし配当は起動しない一方で取り回す fact3: 固しものは宣教する fact4: その見なし配当が宣教しないとすればそののんは宣教しないが取り回す fact5: もし仮に「あのＴＩＦは三日号でないしおまけに教科書行政でない」ということは正しくないとすればその見なし配当は賢くない fact6: その授業時間は取り回さないけれどそれは洒落臭い fact7: もし仮に「ある物は宣教するしおまけにそれはデジタルカメラである」ということは成り立つとするとそれは凝らない fact8: その見なし配当は呼び戻さないがしかし減少する fact9: あの兄弟達が側縁でないならばあの見なし配当はデジタルカメラだ fact10: もし仮になんらかの物が取り回さないとすれば起動しないがベンチャー支援だ fact11: 仮にあるものは産業復興だとしたら「三日号でないしさらにそれは教科書行政でない」ということは成り立たない fact12: 賢くないものは固ししまた字型である fact13: なにかは本当らしいとすれば側縁でないか鬱陶しかないか両方だ fact14: もし仮にその見なし配当が起動しないとすればあののんは起動するということはない一方でそれは宣教する fact15: あのＴＩＦは産業復興である fact16: とあるものはデジタルカメラだとすれば「凝らない一方で宣教する」ということは誤っている fact17: こののんはスポーツマンらしくない fact18: 「その見なし配当は凝るということはない」ということは確かであるとすればそののんは起動するし取り回す ; $hypothesis$ = そののんは起動しない ; $proof$ = 
fact2 -> int1: その見なし配当は起動しない; int1 & fact14 -> int2: こののんは起動するということはないが宣教する; int2 -> hypothesis; __PROVED__
事実1: もし仮に「あの兄弟達は鬱陶しかない」ということは本当であるとしたら「その見なし配当はデジタルカメラである」ということは間違いでない
事実2: その見なし配当は起動しない一方で取り回す
事実3: 固しものは宣教する
事実4: その見なし配当が宣教しないとすればそののんは宣教しないが取り回す
事実5: もし仮に「あのＴＩＦは三日号でないしおまけに教科書行政でない」ということは正しくないとすればその見なし配当は賢くない
事実6: その授業時間は取り回さないけれどそれは洒落臭い
事実7: もし仮に「ある物は宣教するしおまけにそれはデジタルカメラである」ということは成り立つとするとそれは凝らない
事実8: その見なし配当は呼び戻さないがしかし減少する
事実9: あの兄弟達が側縁でないならばあの見なし配当はデジタルカメラだ
事実10: もし仮になんらかの物が取り回さないとすれば起動しないがベンチャー支援だ
事実11: 仮にあるものは産業復興だとしたら「三日号でないしさらにそれは教科書行政でない」ということは成り立たない
事実12: 賢くないものは固ししまた字型である
事実13: なにかは本当らしいとすれば側縁でないか鬱陶しかないか両方だ
事実14: もし仮にその見なし配当が起動しないとすればあののんは起動するということはない一方でそれは宣教する
事実15: あのＴＩＦは産業復興である
事実16: とあるものはデジタルカメラだとすれば「凝らない一方で宣教する」ということは誤っている
事実17: こののんはスポーツマンらしくない
事実18: 「その見なし配当は凝るということはない」ということは確かであるとすればそののんは起動するし取り回す

仮説: そののんは起動しない
1. 事実2から、推論1: "その見なし配当は起動しない"が導かれる
2. 推論1と事実14から、推論2: "こののんは起動するということはないが宣教する"が導かれる
3. 推論2から、仮説が導かれる

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