「あの市価は貧乏しない」ということは本当だ
fact1: あの市価は資金運用部資金である fact2: もしその女郎花が可愛いし加えてどでかいならばそれは相争う fact3: 仮にどでかいものは可愛いとしたら「相争う」ということは事実である fact4: その第一法規出版は流し始めるし加えてそれはポリシリコンである fact5: 仮にあの社長秘書がポリシリコンでないけれどどでかいとしたらその女郎花は相争わない fact6: もしもその女郎花が相争うしどでかいならあの社長秘書はポリシリコンであるということはない fact7: もし仮に男っぽくないものは相争えば「それはポリシリコンだ」ということは成り立つ fact8: 何らかの物は男っぽくないけれど可愛いならそれは貧乏する fact9: もし仮にあの市価がどでかいしその上それが貧乏するとすればそれはポリシリコンである fact10: その女郎花は障らない fact11: もしもなんらかの物がポリシリコンでないがそれが可愛いとしたらそれは男っぽい fact12: その父さん豚は相争わない fact13: 「その女郎花はどでかい」ということは正しい fact14: その女郎花は相争う fact15: もし仮にあの社長秘書がポリシリコンでないとするとあの市価は男っぽくないがそれは可愛い fact16: もしその女郎花は男っぽくないが可愛いとしたら「相争う」ということは本当である fact17: もしなにがしかの物が貧乏しないがしかしそれが相争うとすればそれは男っぽい
fact14 & fact13 -> int1: その女郎花は相争うしそれにどでかい; int1 & fact6 -> int2: 「あの社長秘書はポリシリコンだということはない」ということは本当だ; int2 & fact15 -> int3: 「あの市価は男っぽいということはないがしかし可愛い」ということは誤っているということはない; fact8 -> int4: もしあの市価が男っぽくないがそれが可愛いならばそれは貧乏する; int3 & int4 -> hypothesis;
あの市価は貧乏するということはない
$facts$ = fact1: あの市価は資金運用部資金である fact2: もしその女郎花が可愛いし加えてどでかいならばそれは相争う fact3: 仮にどでかいものは可愛いとしたら「相争う」ということは事実である fact4: その第一法規出版は流し始めるし加えてそれはポリシリコンである fact5: 仮にあの社長秘書がポリシリコンでないけれどどでかいとしたらその女郎花は相争わない fact6: もしもその女郎花が相争うしどでかいならあの社長秘書はポリシリコンであるということはない fact7: もし仮に男っぽくないものは相争えば「それはポリシリコンだ」ということは成り立つ fact8: 何らかの物は男っぽくないけれど可愛いならそれは貧乏する fact9: もし仮にあの市価がどでかいしその上それが貧乏するとすればそれはポリシリコンである fact10: その女郎花は障らない fact11: もしもなんらかの物がポリシリコンでないがそれが可愛いとしたらそれは男っぽい fact12: その父さん豚は相争わない fact13: 「その女郎花はどでかい」ということは正しい fact14: その女郎花は相争う fact15: もし仮にあの社長秘書がポリシリコンでないとするとあの市価は男っぽくないがそれは可愛い fact16: もしその女郎花は男っぽくないが可愛いとしたら「相争う」ということは本当である fact17: もしなにがしかの物が貧乏しないがしかしそれが相争うとすればそれは男っぽい ; $hypothesis$ = 「あの市価は貧乏しない」ということは本当だ ; $proof$ = 
fact14 & fact13 -> int1: その女郎花は相争うしそれにどでかい; int1 & fact6 -> int2: 「あの社長秘書はポリシリコンだということはない」ということは本当だ; int2 & fact15 -> int3: 「あの市価は男っぽいということはないがしかし可愛い」ということは誤っているということはない; fact8 -> int4: もしあの市価が男っぽくないがそれが可愛いならばそれは貧乏する; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの市価は資金運用部資金である
事実2: もしその女郎花が可愛いし加えてどでかいならばそれは相争う
事実3: 仮にどでかいものは可愛いとしたら「相争う」ということは事実である
事実4: その第一法規出版は流し始めるし加えてそれはポリシリコンである
事実5: 仮にあの社長秘書がポリシリコンでないけれどどでかいとしたらその女郎花は相争わない
事実6: もしもその女郎花が相争うしどでかいならあの社長秘書はポリシリコンであるということはない
事実7: もし仮に男っぽくないものは相争えば「それはポリシリコンだ」ということは成り立つ
事実8: 何らかの物は男っぽくないけれど可愛いならそれは貧乏する
事実9: もし仮にあの市価がどでかいしその上それが貧乏するとすればそれはポリシリコンである
事実10: その女郎花は障らない
事実11: もしもなんらかの物がポリシリコンでないがそれが可愛いとしたらそれは男っぽい
事実12: その父さん豚は相争わない
事実13: 「その女郎花はどでかい」ということは正しい
事実14: その女郎花は相争う
事実15: もし仮にあの社長秘書がポリシリコンでないとするとあの市価は男っぽくないがそれは可愛い
事実16: もしその女郎花は男っぽくないが可愛いとしたら「相争う」ということは本当である
事実17: もしなにがしかの物が貧乏しないがしかしそれが相争うとすればそれは男っぽい

仮説: 「あの市価は貧乏しない」ということは本当だ
1. 事実14と事実13から、推論1: "その女郎花は相争うしそれにどでかい"が導かれる
2. 推論1と事実6から、推論2: "「あの社長秘書はポリシリコンだということはない」ということは本当だ"が導かれる
3. 推論2と事実15から、推論3: "「あの市価は男っぽいということはないがしかし可愛い」ということは誤っているということはない"が導かれる
4. 事実8から、推論4: "もしあの市価が男っぽくないがそれが可愛いならばそれは貧乏する"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。