「そのぷちゅぷゆLv.32は活動し難くて擽ったい」ということは誤っている
fact1: そのぷちゅぷゆLv.32は擽ったい fact2: そのぷちゅぷゆLv.32は危うし fact3: 仮にこのみよみえLv.18が易しならそのぷちゅぷゆLv.32は活動し難い fact4: このみよみえLv.18は危うし fact5: このみよみえLv.18は活動し難い fact6: そのまなまいLv.17は行き難いししかもそれは易し fact7: もしこのみよみえLv.18は危うしとすれば「それは易し」ということは真実だ fact8: もし仮にこのみよみえLv.18は危うしないならば「そのぷちゅぷゆLv.32は活動し難くて擽ったい」ということは成り立たない fact9: このみよみえLv.18はマッピングする
fact7 & fact4 -> int1: このみよみえLv.18は易し; int1 & fact3 -> int2: そのぷちゅぷゆLv.32は活動し難い; int2 & fact1 -> hypothesis;
fact7 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
「そのぷちゅぷゆLv.32は活動し難くて擽ったい」ということは誤っている
$facts$ = fact1: そのぷちゅぷゆLv.32は擽ったい fact2: そのぷちゅぷゆLv.32は危うし fact3: 仮にこのみよみえLv.18が易しならそのぷちゅぷゆLv.32は活動し難い fact4: このみよみえLv.18は危うし fact5: このみよみえLv.18は活動し難い fact6: そのまなまいLv.17は行き難いししかもそれは易し fact7: もしこのみよみえLv.18は危うしとすれば「それは易し」ということは真実だ fact8: もし仮にこのみよみえLv.18は危うしないならば「そのぷちゅぷゆLv.32は活動し難くて擽ったい」ということは成り立たない fact9: このみよみえLv.18はマッピングする ; $hypothesis$ = 「そのぷちゅぷゆLv.32は活動し難くて擽ったい」ということは誤っている ; $proof$ = 
fact7 & fact4 -> int1: このみよみえLv.18は易し; int1 & fact3 -> int2: そのぷちゅぷゆLv.32は活動し難い; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__