「そのぽにょぽちょLv.23は性分らしい」ということは成り立つ
fact1: 「「あのまにょまにょLv.65は性分らしいということはないがしかし根気強い」ということは事実だ」ということは成り立たない fact2: このぴよぴいLv.43は伴い易い fact3: もし仮に「「あのまにょまにょLv.65は根気強くない一方で父親らしい」ということは成り立つ」ということは嘘だとすればそのぽにょぽちょLv.23は性分らしい fact4: 伴い易いモンスターはいるとすれば「あのまにょまにょLv.65は根気強くないが父親らしい」ということは成り立たない
fact2 -> int1: 「伴い易い」モンスターはいる; int1 & fact4 -> int2: 「あのまにょまにょLv.65は根気強くないがしかし父親らしい」ということは誤っている; int2 & fact3 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact4 -> int2: ¬(¬{B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「「あのまにょまにょLv.65は性分らしいということはないがしかし根気強い」ということは事実だ」ということは成り立たない fact2: このぴよぴいLv.43は伴い易い fact3: もし仮に「「あのまにょまにょLv.65は根気強くない一方で父親らしい」ということは成り立つ」ということは嘘だとすればそのぽにょぽちょLv.23は性分らしい fact4: 伴い易いモンスターはいるとすれば「あのまにょまにょLv.65は根気強くないが父親らしい」ということは成り立たない ; $hypothesis$ = 「そのぽにょぽちょLv.23は性分らしい」ということは成り立つ ; $proof$ = 
fact2 -> int1: 「伴い易い」モンスターはいる; int1 & fact4 -> int2: 「あのまにょまにょLv.65は根気強くないがしかし父親らしい」ということは誤っている; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact4 -> int2: ¬(¬{B}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__