Erin is big. Erin is red. Gary is big. Gary is round. Harry is big. Harry is round. Harry is smart. All cold people are smart. All round people are big. Cold, white people are round. If someone is cold then they are red. White, blue people are red. If Erin is cold and Erin is blue then Erin is white.
Erin is red.
@0: Erin is big.[(triple1)] Erin is red.[(triple2)] Gary is big.[(triple3 OR ((triple4) -> rule2))] Gary is round.[(triple4)] Harry is big.[(triple5 OR ((triple6) -> rule2))] Harry is round.[(triple6)] Harry is smart.[(triple7)]