このぴちょぴえLv.55は揺らぎ始める
fact1: あのぷくぷちょLv.31は色っぽい fact2: もしもあのもねもちゅLv.89は柔らかいとすると「あのぷくぷちょLv.31は色っぽい」ということは真実だ fact3: あのもねもちゅLv.89は柔らかい fact4: もし仮にこのぴちょぴえLv.55が柔らかいとすればあのもねもちゅLv.89は揺らぎ始める fact5: もしあのもねもちゅLv.89が柔らかいとしたらあのぷくぷちょLv.31は色っぽいがしかし物狂おしくない fact6: もしあのぷくぷちょLv.31が色っぽいけれど物狂おしくないならばこのぴちょぴえLv.55は揺らぎ始める fact7: もし仮にこのぴちょぴえLv.55が物狂おしいとするとあのぷくぷちょLv.31は揺らぎ始めるけれど柔らかくない
fact5 & fact3 -> int1: あのぷくぷちょLv.31は色っぽいがそれは物狂おしくない; int1 & fact6 -> hypothesis;
fact5 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact6 -> hypothesis;
$facts$ = fact1: あのぷくぷちょLv.31は色っぽい fact2: もしもあのもねもちゅLv.89は柔らかいとすると「あのぷくぷちょLv.31は色っぽい」ということは真実だ fact3: あのもねもちゅLv.89は柔らかい fact4: もし仮にこのぴちょぴえLv.55が柔らかいとすればあのもねもちゅLv.89は揺らぎ始める fact5: もしあのもねもちゅLv.89が柔らかいとしたらあのぷくぷちょLv.31は色っぽいがしかし物狂おしくない fact6: もしあのぷくぷちょLv.31が色っぽいけれど物狂おしくないならばこのぴちょぴえLv.55は揺らぎ始める fact7: もし仮にこのぴちょぴえLv.55が物狂おしいとするとあのぷくぷちょLv.31は揺らぎ始めるけれど柔らかくない ; $hypothesis$ = このぴちょぴえLv.55は揺らぎ始める ; $proof$ = 
fact5 & fact3 -> int1: あのぷくぷちょLv.31は色っぽいがそれは物狂おしくない; int1 & fact6 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact6 -> hypothesis; __PROVED__