この立体は暗しない
fact1: 何かは身体的欲求だということはないとしたらそれは薄青くて更に御労しい fact2: 仮にとあるものは身体的欲求であるならばそれは暗し fact3: その八十年代初頭は発生し易いし流行り神である fact4: もしとあるものが暗しとしたら流行り神だ fact5: もしもその気管支喘息が身体的欲求だとするとその八十年代初頭は新田開発である fact6: 仮にとあるものは新田開発でないとすれば「流行り神であるしさらに身体的欲求でない」ということは嘘である fact7: 仮にその八十年代初頭が新田開発だしそれに流行り神であるならこの立体は暗しない fact8: その気管支喘息は身体的欲求だ fact9: 「このＧＢＡは暗しないしおまけに詰まない」ということは事実と異なる fact10: 仮にその気管支喘息が浪費するとしたらこのＧＢＡは発生し易い fact11: もしもなんらかのものは流行り神でその上新田開発であるとすればそれは身体的欲求でない fact12: もしも「このＧＢＡは暗しないし詰まない」ということは間違いなら暗し fact13: とあるものは無菌室であるけれどそれは末恐ろしくない
fact5 & fact8 -> int1: 「その八十年代初頭は新田開発だ」ということは成り立つ; fact3 -> int2: 「その八十年代初頭は流行り神だ」ということは真実だ; int1 & int2 -> int3: その八十年代初頭は新田開発であるし流行り神である; int3 & fact7 -> hypothesis;
fact5 & fact8 -> int1: {B}{b}; fact3 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); int3 & fact7 -> hypothesis;
このＧＢＡは薄青いし加えてそれは御労しい
fact17 -> int4: もしこのＧＢＡは身体的欲求でないならば薄青いしそれに御労しい; fact15 -> int5: もし仮にこのＧＢＡが流行り神であるし新田開発であるとすればそれは身体的欲求でない; fact14 -> int6: もしこのＧＢＡが暗しならばそれは流行り神である; fact20 & fact18 -> int7: 「このＧＢＡは暗し」ということは事実だ; int6 & int7 -> int8: このＧＢＡは流行り神である;
$facts$ = fact1: 何かは身体的欲求だということはないとしたらそれは薄青くて更に御労しい fact2: 仮にとあるものは身体的欲求であるならばそれは暗し fact3: その八十年代初頭は発生し易いし流行り神である fact4: もしとあるものが暗しとしたら流行り神だ fact5: もしもその気管支喘息が身体的欲求だとするとその八十年代初頭は新田開発である fact6: 仮にとあるものは新田開発でないとすれば「流行り神であるしさらに身体的欲求でない」ということは嘘である fact7: 仮にその八十年代初頭が新田開発だしそれに流行り神であるならこの立体は暗しない fact8: その気管支喘息は身体的欲求だ fact9: 「このＧＢＡは暗しないしおまけに詰まない」ということは事実と異なる fact10: 仮にその気管支喘息が浪費するとしたらこのＧＢＡは発生し易い fact11: もしもなんらかのものは流行り神でその上新田開発であるとすればそれは身体的欲求でない fact12: もしも「このＧＢＡは暗しないし詰まない」ということは間違いなら暗し fact13: とあるものは無菌室であるけれどそれは末恐ろしくない ; $hypothesis$ = この立体は暗しない ; $proof$ = 
fact5 & fact8 -> int1: 「その八十年代初頭は新田開発だ」ということは成り立つ; fact3 -> int2: 「その八十年代初頭は流行り神だ」ということは真実だ; int1 & int2 -> int3: その八十年代初頭は新田開発であるし流行り神である; int3 & fact7 -> hypothesis; __PROVED__
事実1: 何かは身体的欲求だということはないとしたらそれは薄青くて更に御労しい
事実2: 仮にとあるものは身体的欲求であるならばそれは暗し
事実3: その八十年代初頭は発生し易いし流行り神である
事実4: もしとあるものが暗しとしたら流行り神だ
事実5: もしもその気管支喘息が身体的欲求だとするとその八十年代初頭は新田開発である
事実6: 仮にとあるものは新田開発でないとすれば「流行り神であるしさらに身体的欲求でない」ということは嘘である
事実7: 仮にその八十年代初頭が新田開発だしそれに流行り神であるならこの立体は暗しない
事実8: その気管支喘息は身体的欲求だ
事実9: 「このＧＢＡは暗しないしおまけに詰まない」ということは事実と異なる
事実10: 仮にその気管支喘息が浪費するとしたらこのＧＢＡは発生し易い
事実11: もしもなんらかのものは流行り神でその上新田開発であるとすればそれは身体的欲求でない
事実12: もしも「このＧＢＡは暗しないし詰まない」ということは間違いなら暗し
事実13: とあるものは無菌室であるけれどそれは末恐ろしくない

仮説: この立体は暗しない
1. 事実5と事実8から、推論1: "「その八十年代初頭は新田開発だ」ということは成り立つ"が導かれる
2. 事実3から、推論2: "「その八十年代初頭は流行り神だ」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "その八十年代初頭は新田開発であるし流行り神である"が導かれる
4. 推論3と事実7から、仮説が導かれる

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