このぷにぷにょLv.35は氷結する
fact1: もし仮にそのぴちゃぴわLv.75は人恋しくないとすると「そのぴちゃぴわLv.75は氷結するし加えて冗談ぽい」ということは間違いだ fact2: このもにょもにゅLv.25は重々しいかもしくは仕方無しかあるいはどちらもである fact3: そのぴちゃぴわLv.75が引き難くてそれに冗談ぽいとしたらこのぷにぷにょLv.35は氷結しない fact4: そのぴちゃぴわLv.75は冗談ぽい fact5: 「このぴゆぴよLv.97は通関する」ということは確かであるとするとそのぴちゃぴわLv.75は忝い fact6: もしもこのもにょもにゅLv.25が重々しいとすればこのぴゆぴよLv.97は通関する fact7: このもにょもにゅLv.25が通関しないとすればあのもにもいLv.28は重々しくて仕方無し fact8: 仮に「そのぴちゃぴわLv.75は忝い」ということは成り立てばそのぴちゃぴわLv.75は引き難い fact9: もし仮にこのもにょもにゅLv.25が仕方無しならばこのぴゆぴよLv.97は通関する
fact2 & fact6 & fact9 -> int1: 「このぴゆぴよLv.97は通関する」ということは本当だ; int1 & fact5 -> int2: そのぴちゃぴわLv.75は忝い; int2 & fact8 -> int3: 「そのぴちゃぴわLv.75は引き難い」ということは事実である; int3 & fact4 -> int4: そのぴちゃぴわLv.75は引き難いししかも冗談ぽい; int4 & fact3 -> hypothesis;
fact2 & fact6 & fact9 -> int1: {C}{c}; int1 & fact5 -> int2: {D}{b}; int2 & fact8 -> int3: {E}{b}; int3 & fact4 -> int4: ({E}{b} & {F}{b}); int4 & fact3 -> hypothesis;
「あのもにもいLv.28は重々しい」ということは正しい
$facts$ = fact1: もし仮にそのぴちゃぴわLv.75は人恋しくないとすると「そのぴちゃぴわLv.75は氷結するし加えて冗談ぽい」ということは間違いだ fact2: このもにょもにゅLv.25は重々しいかもしくは仕方無しかあるいはどちらもである fact3: そのぴちゃぴわLv.75が引き難くてそれに冗談ぽいとしたらこのぷにぷにょLv.35は氷結しない fact4: そのぴちゃぴわLv.75は冗談ぽい fact5: 「このぴゆぴよLv.97は通関する」ということは確かであるとするとそのぴちゃぴわLv.75は忝い fact6: もしもこのもにょもにゅLv.25が重々しいとすればこのぴゆぴよLv.97は通関する fact7: このもにょもにゅLv.25が通関しないとすればあのもにもいLv.28は重々しくて仕方無し fact8: 仮に「そのぴちゃぴわLv.75は忝い」ということは成り立てばそのぴちゃぴわLv.75は引き難い fact9: もし仮にこのもにょもにゅLv.25が仕方無しならばこのぴゆぴよLv.97は通関する ; $hypothesis$ = このぷにぷにょLv.35は氷結する ; $proof$ = 
fact2 & fact6 & fact9 -> int1: 「このぴゆぴよLv.97は通関する」ということは本当だ; int1 & fact5 -> int2: そのぴちゃぴわLv.75は忝い; int2 & fact8 -> int3: 「そのぴちゃぴわLv.75は引き難い」ということは事実である; int3 & fact4 -> int4: そのぴちゃぴわLv.75は引き難いししかも冗談ぽい; int4 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact6 & fact9 -> int1: {C}{c}; int1 & fact5 -> int2: {D}{b}; int2 & fact8 -> int3: {E}{b}; int3 & fact4 -> int4: ({E}{b} & {F}{b}); int4 & fact3 -> hypothesis; __DISPROVED__