そのぷねぷにLv.11は歩き難くない
fact1: そのぷねぷにLv.11は物珍しい fact2: そのぷねぷにLv.11は楽しし物珍しい fact3: そのもいもちょLv.1は楽し fact4: そのぷねぷにLv.11が楽しなら歩き難い fact5: このぴえぴちょLv.46は敢え無いしその上歩き難い fact6: そのぷねぷにLv.11は女っぽい
fact2 -> int1: そのぷねぷにLv.11は楽し; int1 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
$facts$ = fact1: そのぷねぷにLv.11は物珍しい fact2: そのぷねぷにLv.11は楽しし物珍しい fact3: そのもいもちょLv.1は楽し fact4: そのぷねぷにLv.11が楽しなら歩き難い fact5: このぴえぴちょLv.46は敢え無いしその上歩き難い fact6: そのぷねぷにLv.11は女っぽい ; $hypothesis$ = そのぷねぷにLv.11は歩き難くない ; $proof$ = 
fact2 -> int1: そのぷねぷにLv.11は楽し; int1 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__