あのぷちゅぷにLv.30は横転する
fact1: 仮にこのぽくぽいLv.4が骨っぽいとするとあのぷちゅぷにLv.30は思しい fact2: もし「あのぷちゅぷにLv.30は思しい」ということは事実ならばそれは横転する fact3: もし仮にあのぷちゅぷにLv.30が骨っぽいならこのぽくぽいLv.4は思しい fact4: もし仮に「このぽくぽいLv.4は骨っぽくないかまたは横転しないか両方である」ということは成り立たないならばあのぷちゅぷにLv.30は横転しない fact5: このぽくぽいLv.4は骨っぽい fact6: もしもこのぽくぽいLv.4が思しいとするとあのぷちゅぷにLv.30は骨っぽい fact7: 仮にあのぷちゅぷにLv.30が骨っぽいならこのぽくぽいLv.4は横転する
fact1 & fact5 -> int1: あのぷちゅぷにLv.30は思しい; int1 & fact2 -> hypothesis;
fact1 & fact5 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
「あのぷちゅぷにLv.30は横転しない」ということは真実だ
$facts$ = fact1: 仮にこのぽくぽいLv.4が骨っぽいとするとあのぷちゅぷにLv.30は思しい fact2: もし「あのぷちゅぷにLv.30は思しい」ということは事実ならばそれは横転する fact3: もし仮にあのぷちゅぷにLv.30が骨っぽいならこのぽくぽいLv.4は思しい fact4: もし仮に「このぽくぽいLv.4は骨っぽくないかまたは横転しないか両方である」ということは成り立たないならばあのぷちゅぷにLv.30は横転しない fact5: このぽくぽいLv.4は骨っぽい fact6: もしもこのぽくぽいLv.4が思しいとするとあのぷちゅぷにLv.30は骨っぽい fact7: 仮にあのぷちゅぷにLv.30が骨っぽいならこのぽくぽいLv.4は横転する ; $hypothesis$ = あのぷちゅぷにLv.30は横転する ; $proof$ = 
fact1 & fact5 -> int1: あのぷちゅぷにLv.30は思しい; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: {B}{b}; int1 & fact2 -> hypothesis; __PROVED__