そのニューエコノミーは連合艦隊だ
fact1: そのニューエコノミーは果てし無い fact2: この空間処理は寝坊する fact3: とある物は御構い無くない fact4: そのニューエコノミーは寝坊する fact5: 何かは美的享受であるかあるいは嫉妬深くないとすると「それは連合艦隊だ」ということは成り立つ fact6: もし仮に何かは芳しいとすると報道する fact7: もしそのニューエコノミーが寝坊すればそれは芳しい fact8: もし何らかのものが報道するならそれは美的享受である fact9: あのサリチル酸は寝坊する fact10: 仮に「「御構い無いということはない」ということは誤っていない」ものがあるとすればこの株式会社ジュピターは嫉妬深くて加えて精神活動だ fact11: そのサイゴン政権は芳しい fact12: そのニューエコノミーが美的享受だとすればバリヤーである fact13: 嫉妬深くないものは連合艦隊だ fact14: もしこの柳本飛行場が芳しいならそのニューエコノミーは連合艦隊でないがしかしそれは寝坊する fact15: そのニューエコノミーが芳しいならば乳臭い fact16: そのニューエコノミーが嫉妬深くないなら連合艦隊である
fact7 & fact4 -> int1: 「そのニューエコノミーは芳しい」ということは成り立つ; fact6 -> int2: もしもそのニューエコノミーが芳しいとしたら報道する; int1 & int2 -> int3: 「そのニューエコノミーは報道する」ということは事実だ; fact8 -> int4: もしもそのニューエコノミーが報道すれば美的享受である; int3 & int4 -> int5: そのニューエコノミーは美的享受である; int5 -> int6: そのニューエコノミーは美的享受であるか嫉妬深くない; fact5 -> int7: もしそのニューエコノミーは美的享受であるかもしくは嫉妬深くないとすると連合艦隊である; int6 & int7 -> hypothesis;
そのニューエコノミーは連合艦隊でない
fact19 & fact17 -> int8: この株式会社ジュピターは嫉妬深いし更に精神活動だ; int8 -> int9: 「この株式会社ジュピターは嫉妬深い」ということは成り立つ;
$facts$ = fact1: そのニューエコノミーは果てし無い fact2: この空間処理は寝坊する fact3: とある物は御構い無くない fact4: そのニューエコノミーは寝坊する fact5: 何かは美的享受であるかあるいは嫉妬深くないとすると「それは連合艦隊だ」ということは成り立つ fact6: もし仮に何かは芳しいとすると報道する fact7: もしそのニューエコノミーが寝坊すればそれは芳しい fact8: もし何らかのものが報道するならそれは美的享受である fact9: あのサリチル酸は寝坊する fact10: 仮に「「御構い無いということはない」ということは誤っていない」ものがあるとすればこの株式会社ジュピターは嫉妬深くて加えて精神活動だ fact11: そのサイゴン政権は芳しい fact12: そのニューエコノミーが美的享受だとすればバリヤーである fact13: 嫉妬深くないものは連合艦隊だ fact14: もしこの柳本飛行場が芳しいならそのニューエコノミーは連合艦隊でないがしかしそれは寝坊する fact15: そのニューエコノミーが芳しいならば乳臭い fact16: そのニューエコノミーが嫉妬深くないなら連合艦隊である ; $hypothesis$ = そのニューエコノミーは連合艦隊だ ; $proof$ = 
fact7 & fact4 -> int1: 「そのニューエコノミーは芳しい」ということは成り立つ; fact6 -> int2: もしもそのニューエコノミーが芳しいとしたら報道する; int1 & int2 -> int3: 「そのニューエコノミーは報道する」ということは事実だ; fact8 -> int4: もしもそのニューエコノミーが報道すれば美的享受である; int3 & int4 -> int5: そのニューエコノミーは美的享受である; int5 -> int6: そのニューエコノミーは美的享受であるか嫉妬深くない; fact5 -> int7: もしそのニューエコノミーは美的享受であるかもしくは嫉妬深くないとすると連合艦隊である; int6 & int7 -> hypothesis; __PROVED__
事実1: そのニューエコノミーは果てし無い
事実2: この空間処理は寝坊する
事実3: とある物は御構い無くない
事実4: そのニューエコノミーは寝坊する
事実5: 何かは美的享受であるかあるいは嫉妬深くないとすると「それは連合艦隊だ」ということは成り立つ
事実6: もし仮に何かは芳しいとすると報道する
事実7: もしそのニューエコノミーが寝坊すればそれは芳しい
事実8: もし何らかのものが報道するならそれは美的享受である
事実9: あのサリチル酸は寝坊する
事実10: 仮に「「御構い無いということはない」ということは誤っていない」ものがあるとすればこの株式会社ジュピターは嫉妬深くて加えて精神活動だ
事実11: そのサイゴン政権は芳しい
事実12: そのニューエコノミーが美的享受だとすればバリヤーである
事実13: 嫉妬深くないものは連合艦隊だ
事実14: もしこの柳本飛行場が芳しいならそのニューエコノミーは連合艦隊でないがしかしそれは寝坊する
事実15: そのニューエコノミーが芳しいならば乳臭い
事実16: そのニューエコノミーが嫉妬深くないなら連合艦隊である

仮説: そのニューエコノミーは連合艦隊だ
1. 事実7と事実4から、推論1: "「そのニューエコノミーは芳しい」ということは成り立つ"が導かれる
2. 事実6から、推論2: "もしもそのニューエコノミーが芳しいとしたら報道する"が導かれる
3. 推論1と推論2から、推論3: "「そのニューエコノミーは報道する」ということは事実だ"が導かれる
4. 事実8から、推論4: "もしもそのニューエコノミーが報道すれば美的享受である"が導かれる
5. 推論3と推論4から、推論5: "そのニューエコノミーは美的享受である"が導かれる
6. 推論5から、推論6: "そのニューエコノミーは美的享受であるか嫉妬深くない"が導かれる
7. 事実5から、推論7: "もしそのニューエコノミーは美的享受であるかもしくは嫉妬深くないとすると連合艦隊である"が導かれる
8. 推論6と推論7から、仮説が導かれる

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