「「このまにまのLv.9は根気強いということはない一方で愛くるしい」ということは誤りでない」ということは本当でない
fact1: このぽよぽにゅLv.19は乳臭い fact2: もしもこのぷくぷにょLv.61が借り易いとすればあのみちゅみくLv.11は君らしい fact3: もしこのぽよぽにゅLv.19が乳臭いとしたらこのぷくぷにょLv.61は借り易い fact4: 「もしもあのみちゅみくLv.11が君らしいとするとこのまにまのLv.9は根気強いということはないけれど愛くるしい」ということは成り立つ
fact3 & fact1 -> int1: このぷくぷにょLv.61は借り易い; int1 & fact2 -> int2: あのみちゅみくLv.11は君らしい; int2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このぽよぽにゅLv.19は乳臭い fact2: もしもこのぷくぷにょLv.61が借り易いとすればあのみちゅみくLv.11は君らしい fact3: もしこのぽよぽにゅLv.19が乳臭いとしたらこのぷくぷにょLv.61は借り易い fact4: 「もしもあのみちゅみくLv.11が君らしいとするとこのまにまのLv.9は根気強いということはないけれど愛くるしい」ということは成り立つ ; $hypothesis$ = 「「このまにまのLv.9は根気強いということはない一方で愛くるしい」ということは誤りでない」ということは本当でない ; $proof$ = 
fact3 & fact1 -> int1: このぷくぷにょLv.61は借り易い; int1 & fact2 -> int2: あのみちゅみくLv.11は君らしい; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact4 -> hypothesis; __DISPROVED__