この清風山は格好良くなくて勘違いしない
fact1: もし仮にその新生児痙攣がブランドらしいならばあの清風山は早飯試験である fact2: なにがしかのものが格好良いかあるいはそれがぱさぱさしないとしたらそれは格好良い fact3: その新生児痙攣はブランドらしい fact4: 「あの天獄は一汁だが勘違いしない」ということは嘘である fact5: その新生児痙攣はブランドらしいとすると「それは勘違いしないけれど早飯試験である」ということは誤りだ fact6: 仮に何らかの物は早飯試験であるなら「それは格好良くないしそれは勘違いしない」ということは成り立たない fact7: もしこの清風山は早飯試験であるとすれば「それは格好良いがしかし勘違いしない」ということは事実と異なる fact8: 「この清風山は格好良くないけど勘違いする」ということは間違っている fact9: もしもとあるものは早飯試験であるとすれば「それはブランドらしいけれど勘違いしない」ということは成り立たない fact10: ある物は商業印刷会社でないとするとブランドらしいし早飯試験だ fact11: 仮にとあるものは勘違いしないしかつ早飯試験でないならばブランドらしい fact12: 「「分かり易くないしかつ商業印刷会社である」ということは成り立たない」物はある fact13: 仮にその新生児痙攣は早飯試験だとすれば「この清風山はブランドらしくない」ということは間違いである fact14: 「この清風山は格好良いがそれは勘違いしない」ということは成り立つということはない fact15: もし仮になにがしかのものが商業印刷会社でないなら格好良いかぱさぱさしないかもしくはどちらもだ fact16: もし仮にこの清風山が勘違いするとすればその新生児痙攣は格好良い
fact1 & fact3 -> int1: この清風山は早飯試験である; fact6 -> int2: この清風山は早飯試験であるとすると「それは格好良くなくてその上それは勘違いしない」ということは嘘だ; int1 & int2 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; fact6 -> int2: {B}{b} -> ¬(¬{D}{b} & ¬{C}{b}); int1 & int2 -> hypothesis;
この清風山は格好良くなくて加えて勘違いしない
fact17 -> int3: 「この清風山は商業印刷会社でない」ということは成り立つとすればそれがブランドらしいしその上それは早飯試験である;
$facts$ = fact1: もし仮にその新生児痙攣がブランドらしいならばあの清風山は早飯試験である fact2: なにがしかのものが格好良いかあるいはそれがぱさぱさしないとしたらそれは格好良い fact3: その新生児痙攣はブランドらしい fact4: 「あの天獄は一汁だが勘違いしない」ということは嘘である fact5: その新生児痙攣はブランドらしいとすると「それは勘違いしないけれど早飯試験である」ということは誤りだ fact6: 仮に何らかの物は早飯試験であるなら「それは格好良くないしそれは勘違いしない」ということは成り立たない fact7: もしこの清風山は早飯試験であるとすれば「それは格好良いがしかし勘違いしない」ということは事実と異なる fact8: 「この清風山は格好良くないけど勘違いする」ということは間違っている fact9: もしもとあるものは早飯試験であるとすれば「それはブランドらしいけれど勘違いしない」ということは成り立たない fact10: ある物は商業印刷会社でないとするとブランドらしいし早飯試験だ fact11: 仮にとあるものは勘違いしないしかつ早飯試験でないならばブランドらしい fact12: 「「分かり易くないしかつ商業印刷会社である」ということは成り立たない」物はある fact13: 仮にその新生児痙攣は早飯試験だとすれば「この清風山はブランドらしくない」ということは間違いである fact14: 「この清風山は格好良いがそれは勘違いしない」ということは成り立つということはない fact15: もし仮になにがしかのものが商業印刷会社でないなら格好良いかぱさぱさしないかもしくはどちらもだ fact16: もし仮にこの清風山が勘違いするとすればその新生児痙攣は格好良い ; $hypothesis$ = この清風山は格好良くなくて勘違いしない ; $proof$ = 
fact1 & fact3 -> int1: この清風山は早飯試験である; fact6 -> int2: この清風山は早飯試験であるとすると「それは格好良くなくてその上それは勘違いしない」ということは嘘だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその新生児痙攣がブランドらしいならばあの清風山は早飯試験である
事実2: なにがしかのものが格好良いかあるいはそれがぱさぱさしないとしたらそれは格好良い
事実3: その新生児痙攣はブランドらしい
事実4: 「あの天獄は一汁だが勘違いしない」ということは嘘である
事実5: その新生児痙攣はブランドらしいとすると「それは勘違いしないけれど早飯試験である」ということは誤りだ
事実6: 仮に何らかの物は早飯試験であるなら「それは格好良くないしそれは勘違いしない」ということは成り立たない
事実7: もしこの清風山は早飯試験であるとすれば「それは格好良いがしかし勘違いしない」ということは事実と異なる
事実8: 「この清風山は格好良くないけど勘違いする」ということは間違っている
事実9: もしもとあるものは早飯試験であるとすれば「それはブランドらしいけれど勘違いしない」ということは成り立たない
事実10: ある物は商業印刷会社でないとするとブランドらしいし早飯試験だ
事実11: 仮にとあるものは勘違いしないしかつ早飯試験でないならばブランドらしい
事実12: 「「分かり易くないしかつ商業印刷会社である」ということは成り立たない」物はある
事実13: 仮にその新生児痙攣は早飯試験だとすれば「この清風山はブランドらしくない」ということは間違いである
事実14: 「この清風山は格好良いがそれは勘違いしない」ということは成り立つということはない
事実15: もし仮になにがしかのものが商業印刷会社でないなら格好良いかぱさぱさしないかもしくはどちらもだ
事実16: もし仮にこの清風山が勘違いするとすればその新生児痙攣は格好良い

仮説: この清風山は格好良くなくて勘違いしない
1. 事実1と事実3から、推論1: "この清風山は早飯試験である"が導かれる
2. 事実6から、推論2: "この清風山は早飯試験であるとすると「それは格好良くなくてその上それは勘違いしない」ということは嘘だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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