そのぴちゃぴにゅLv.29は薬臭い
fact1: もしもそのぴちゃぴにゅLv.29が薬臭くないかまたは下ろし易いということはないかまたはどちらもであるとするとあのみなみちょLv.39は薬臭い fact2: 「全てのモンスターは薬臭い」ということは真実だ
fact2 -> int1: 「全てのモンスターは薬臭い」ということは真実だ; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのみなみちょLv.39は薬臭い
$facts$ = fact1: もしもそのぴちゃぴにゅLv.29が薬臭くないかまたは下ろし易いということはないかまたはどちらもであるとするとあのみなみちょLv.39は薬臭い fact2: 「全てのモンスターは薬臭い」ということは真実だ ; $hypothesis$ = そのぴちゃぴにゅLv.29は薬臭い ; $proof$ = 
fact2 -> int1: 「全てのモンスターは薬臭い」ということは真実だ; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__