あのもわもやLv.49は輝き渡らない
fact1: そのぷちゅぷわLv.56は跳躍するとすれば「あのもわもやLv.49は否定し難い」ということは事実である fact2: もし仮にそのみねみちゅLv.20は浅黒くないなら「そのぽにょぽにゃLv.73は予測し難くないしさっさとしない」ということは事実と異なる fact3: 仮にそのみねみちゅLv.20が輝き渡るとすればそのぷくぷいLv.33は輝き渡る fact4: もしそのぽにょぽにゃLv.73がさっさとするとするとそのぷちゅぷわLv.56は跳躍する fact5: もし「そのぽにょぽにゃLv.73は浅黒くないが跳躍する」ということは成り立たないとするとそのみねみちゅLv.20は輝き渡る fact6: 「そのみねみちゅLv.20は浅黒くない」ということは真実である fact7: あのもわもやLv.49が否定し難いとするとあのもわもやLv.49は輝き渡る fact8: もし仮に「そのぽにょぽにゃLv.73は予測し難くないしさっさとしない」ということは間違いならそのぷちゅぷわLv.56は跳躍する
fact2 & fact6 -> int1: 「そのぽにょぽにゃLv.73は予測し難くなくてかつさっさとしない」ということは偽だ; int1 & fact8 -> int2: 「そのぷちゅぷわLv.56は跳躍する」ということは正しい; int2 & fact1 -> int3: あのもわもやLv.49は否定し難い; int3 & fact7 -> hypothesis;
fact2 & fact6 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact8 -> int2: {B}{c}; int2 & fact1 -> int3: {C}{d}; int3 & fact7 -> hypothesis;
そのぷくぷいLv.33は輝き渡る
$facts$ = fact1: そのぷちゅぷわLv.56は跳躍するとすれば「あのもわもやLv.49は否定し難い」ということは事実である fact2: もし仮にそのみねみちゅLv.20は浅黒くないなら「そのぽにょぽにゃLv.73は予測し難くないしさっさとしない」ということは事実と異なる fact3: 仮にそのみねみちゅLv.20が輝き渡るとすればそのぷくぷいLv.33は輝き渡る fact4: もしそのぽにょぽにゃLv.73がさっさとするとするとそのぷちゅぷわLv.56は跳躍する fact5: もし「そのぽにょぽにゃLv.73は浅黒くないが跳躍する」ということは成り立たないとするとそのみねみちゅLv.20は輝き渡る fact6: 「そのみねみちゅLv.20は浅黒くない」ということは真実である fact7: あのもわもやLv.49が否定し難いとするとあのもわもやLv.49は輝き渡る fact8: もし仮に「そのぽにょぽにゃLv.73は予測し難くないしさっさとしない」ということは間違いならそのぷちゅぷわLv.56は跳躍する ; $hypothesis$ = あのもわもやLv.49は輝き渡らない ; $proof$ = 
fact2 & fact6 -> int1: 「そのぽにょぽにゃLv.73は予測し難くなくてかつさっさとしない」ということは偽だ; int1 & fact8 -> int2: 「そのぷちゅぷわLv.56は跳躍する」ということは正しい; int2 & fact1 -> int3: あのもわもやLv.49は否定し難い; int3 & fact7 -> hypothesis; __DISPROVED__
fact2 & fact6 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact8 -> int2: {B}{c}; int2 & fact1 -> int3: {C}{d}; int3 & fact7 -> hypothesis; __DISPROVED__