「そのぷくぷにゅLv.40は地下深いし熱っぽい」ということは誤っている
fact1: そのぷくぷにゅLv.40は陰気臭いならば「地下深い」ということは本当である fact2: そのぷくぷにゅLv.40は熱っぽい fact3: そのぷくぷにゅLv.40は陰気臭くて更にそれは腑甲斐無い
fact3 -> int1: そのぷくぷにゅLv.40は陰気臭い; int1 & fact1 -> int2: そのぷくぷにゅLv.40は地下深い; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのぷくぷにゅLv.40は陰気臭いならば「地下深い」ということは本当である fact2: そのぷくぷにゅLv.40は熱っぽい fact3: そのぷくぷにゅLv.40は陰気臭くて更にそれは腑甲斐無い ; $hypothesis$ = 「そのぷくぷにゅLv.40は地下深いし熱っぽい」ということは誤っている ; $proof$ = 
fact3 -> int1: そのぷくぷにゅLv.40は陰気臭い; int1 & fact1 -> int2: そのぷくぷにゅLv.40は地下深い; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__