あのぴなぴちょLv.65は再確認しない
fact1: もしあのもにゅもちゅLv.89は出血し易いとしたら「それは擦り付ける」ということは事実である fact2: あのもにゅもちゅLv.89は出血し易くて更に古し fact3: あのもにゅもちゅLv.89が擦り付ければこのぷのぷわLv.85は燃え易い fact4: もしもこのぷのぷわLv.85が燃え易いとしたらあのぴなぴちょLv.65は再確認する
fact2 -> int1: あのもにゅもちゅLv.89は出血し易い; int1 & fact1 -> int2: あのもにゅもちゅLv.89は擦り付ける; int2 & fact3 -> int3: このぷのぷわLv.85は燃え易い; int3 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact4 -> hypothesis;
$facts$ = fact1: もしあのもにゅもちゅLv.89は出血し易いとしたら「それは擦り付ける」ということは事実である fact2: あのもにゅもちゅLv.89は出血し易くて更に古し fact3: あのもにゅもちゅLv.89が擦り付ければこのぷのぷわLv.85は燃え易い fact4: もしもこのぷのぷわLv.85が燃え易いとしたらあのぴなぴちょLv.65は再確認する ; $hypothesis$ = あのぴなぴちょLv.65は再確認しない ; $proof$ = 
fact2 -> int1: あのもにゅもちゅLv.89は出血し易い; int1 & fact1 -> int2: あのもにゅもちゅLv.89は擦り付ける; int2 & fact3 -> int3: このぷのぷわLv.85は燃え易い; int3 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact4 -> hypothesis; __DISPROVED__