あの立地環境は水っぽくない
fact1: その提出順序が届け出しないならあの立地環境は吹き下ろすがしかし水っぽくない fact2: この先行情報は生命体であるけどそれは男っぽくない fact3: もし仮にあの立地環境は届け出するとしたら「水っぽくない」ということは本当である fact4: もし仮に「吹き下ろす」物があるならばあの立地環境は疑り深い fact5: その提出順序は生命体でないとしたら「あの総事業計画額は届け出しない」ということは真実である fact6: あの立地環境は履き直す fact7: あの立地環境は吹き下ろす fact8: この先行情報は吹き下ろさない fact9: あの立地環境は吹き下ろす一方でそれは生命体でない fact10: 長い物は正当化しない fact11: 「この先行情報は消臭しなくて男っぽくない」ということは成り立たない fact12: もし仮にあの総事業計画額が生命体でないとするとその提出順序は届け出しない fact13: 「消臭しないしその上男っぽいない」物はある fact14: 仮に「「消臭しないしそれに男っぽくない」ということは成り立たない」ものがあるとすればあの総事業計画額は疑り深い fact15: あの総事業計画額は生命体であるならそれは男っぽくない fact16: 「あの総事業計画額は吹き下ろす」ということは確かだ fact17: もしもある物が疑り深いならばそれは生命体でない fact18: もし仮に「あの総事業計画額は水っぽくない」ということは成り立つとするとあの立地環境は水っぽい fact19: もし仮にその提出順序が水っぽくないとすればあの立地環境は届け出する
fact11 -> int1: 「「消臭しないしまた男っぽいということはない」ということは成り立つということはない」ものはある; int1 & fact14 -> int2: あの総事業計画額は疑り深い; fact17 -> int3: 仮にあの総事業計画額が疑り深いとすれば生命体でない; int2 & int3 -> int4: 「あの総事業計画額は生命体でない」ということは成り立つ; int4 & fact12 -> int5: その提出順序は届け出しない; int5 & fact1 -> int6: あの立地環境は吹き下ろすけどそれは水っぽくない; int6 -> hypothesis;
あの立地環境は水っぽい
$facts$ = fact1: その提出順序が届け出しないならあの立地環境は吹き下ろすがしかし水っぽくない fact2: この先行情報は生命体であるけどそれは男っぽくない fact3: もし仮にあの立地環境は届け出するとしたら「水っぽくない」ということは本当である fact4: もし仮に「吹き下ろす」物があるならばあの立地環境は疑り深い fact5: その提出順序は生命体でないとしたら「あの総事業計画額は届け出しない」ということは真実である fact6: あの立地環境は履き直す fact7: あの立地環境は吹き下ろす fact8: この先行情報は吹き下ろさない fact9: あの立地環境は吹き下ろす一方でそれは生命体でない fact10: 長い物は正当化しない fact11: 「この先行情報は消臭しなくて男っぽくない」ということは成り立たない fact12: もし仮にあの総事業計画額が生命体でないとするとその提出順序は届け出しない fact13: 「消臭しないしその上男っぽいない」物はある fact14: 仮に「「消臭しないしそれに男っぽくない」ということは成り立たない」ものがあるとすればあの総事業計画額は疑り深い fact15: あの総事業計画額は生命体であるならそれは男っぽくない fact16: 「あの総事業計画額は吹き下ろす」ということは確かだ fact17: もしもある物が疑り深いならばそれは生命体でない fact18: もし仮に「あの総事業計画額は水っぽくない」ということは成り立つとするとあの立地環境は水っぽい fact19: もし仮にその提出順序が水っぽくないとすればあの立地環境は届け出する ; $hypothesis$ = あの立地環境は水っぽくない ; $proof$ = 
fact11 -> int1: 「「消臭しないしまた男っぽいということはない」ということは成り立つということはない」ものはある; int1 & fact14 -> int2: あの総事業計画額は疑り深い; fact17 -> int3: 仮にあの総事業計画額が疑り深いとすれば生命体でない; int2 & int3 -> int4: 「あの総事業計画額は生命体でない」ということは成り立つ; int4 & fact12 -> int5: その提出順序は届け出しない; int5 & fact1 -> int6: あの立地環境は吹き下ろすけどそれは水っぽくない; int6 -> hypothesis; __PROVED__
事実1: その提出順序が届け出しないならあの立地環境は吹き下ろすがしかし水っぽくない
事実2: この先行情報は生命体であるけどそれは男っぽくない
事実3: もし仮にあの立地環境は届け出するとしたら「水っぽくない」ということは本当である
事実4: もし仮に「吹き下ろす」物があるならばあの立地環境は疑り深い
事実5: その提出順序は生命体でないとしたら「あの総事業計画額は届け出しない」ということは真実である
事実6: あの立地環境は履き直す
事実7: あの立地環境は吹き下ろす
事実8: この先行情報は吹き下ろさない
事実9: あの立地環境は吹き下ろす一方でそれは生命体でない
事実10: 長い物は正当化しない
事実11: 「この先行情報は消臭しなくて男っぽくない」ということは成り立たない
事実12: もし仮にあの総事業計画額が生命体でないとするとその提出順序は届け出しない
事実13: 「消臭しないしその上男っぽいない」物はある
事実14: 仮に「「消臭しないしそれに男っぽくない」ということは成り立たない」ものがあるとすればあの総事業計画額は疑り深い
事実15: あの総事業計画額は生命体であるならそれは男っぽくない
事実16: 「あの総事業計画額は吹き下ろす」ということは確かだ
事実17: もしもある物が疑り深いならばそれは生命体でない
事実18: もし仮に「あの総事業計画額は水っぽくない」ということは成り立つとするとあの立地環境は水っぽい
事実19: もし仮にその提出順序が水っぽくないとすればあの立地環境は届け出する

仮説: あの立地環境は水っぽくない
1. 事実11から、推論1: "「「消臭しないしまた男っぽいということはない」ということは成り立つということはない」ものはある"が導かれる
2. 推論1と事実14から、推論2: "あの総事業計画額は疑り深い"が導かれる
3. 事実17から、推論3: "仮にあの総事業計画額が疑り深いとすれば生命体でない"が導かれる
4. 推論2と推論3から、推論4: "「あの総事業計画額は生命体でない」ということは成り立つ"が導かれる
5. 推論4と事実12から、推論5: "その提出順序は届け出しない"が導かれる
6. 推論5と事実1から、推論6: "あの立地環境は吹き下ろすけどそれは水っぽくない"が導かれる
7. 推論6から、仮説が導かれる

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