Erin is cold. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is not white. Erin is not young. Harry is cold. Harry is nice. Harry is red. Harry is not round. Harry is smart. Harry is white. Harry is not young. If Erin is red and Erin is not young then Erin is cold.
Erin is smart.
@0: Erin is cold.[(triple1 OR ((triple3 triple7) -> rule1))] Erin is nice.[(triple2)] Erin is not white.[(triple6)] Erin is not young.[(triple7)] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is not round.[(triple11)] Harry is not young.[(triple14)] Harry is red.[(triple10)] Harry is smart.[(triple12)] Harry is white.[(triple13)]