そのまゆまちゃLv.66は座り易い
fact1: もしそのまゆまちゃLv.66は書き過ぎないとすると「認め難いし座り易い」ということは成り立つ fact2: そのぴにぴにょLv.25は書き過ぎる fact3: このぷいぷにLv.33は認め難い fact4: 「そのぴゆぴわLv.77は答弁する」ということは間違いだということはない fact5: もし仮に「このぷいぷにLv.33は認め難い」ということは確かだとすればそのぴゆぴわLv.77は書き過ぎる fact6: もしそのぴゆぴわLv.77が座り易いとするとそのまゆまちゃLv.66は答弁する fact7: もしもそのぴゆぴわLv.77が書き過ぎるしかつ答弁するとすればそのまゆまちゃLv.66は座り易いということはない fact8: このぷいぷにLv.33は書き過ぎる
fact5 & fact3 -> int1: そのぴゆぴわLv.77は書き過ぎる; int1 & fact4 -> int2: そのぴゆぴわLv.77は書き過ぎるし更にそれは答弁する; int2 & fact7 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> hypothesis;
そのまゆまちゃLv.66は座り易い
$facts$ = fact1: もしそのまゆまちゃLv.66は書き過ぎないとすると「認め難いし座り易い」ということは成り立つ fact2: そのぴにぴにょLv.25は書き過ぎる fact3: このぷいぷにLv.33は認め難い fact4: 「そのぴゆぴわLv.77は答弁する」ということは間違いだということはない fact5: もし仮に「このぷいぷにLv.33は認め難い」ということは確かだとすればそのぴゆぴわLv.77は書き過ぎる fact6: もしそのぴゆぴわLv.77が座り易いとするとそのまゆまちゃLv.66は答弁する fact7: もしもそのぴゆぴわLv.77が書き過ぎるしかつ答弁するとすればそのまゆまちゃLv.66は座り易いということはない fact8: このぷいぷにLv.33は書き過ぎる ; $hypothesis$ = そのまゆまちゃLv.66は座り易い ; $proof$ = 
fact5 & fact3 -> int1: そのぴゆぴわLv.77は書き過ぎる; int1 & fact4 -> int2: そのぴゆぴわLv.77は書き過ぎるし更にそれは答弁する; int2 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> hypothesis; __DISPROVED__