Erin is big. Erin is cold. Erin is kind. Erin is red. Erin is white. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. If something is cold then it is red. If Harry is kind then Harry is big. If Harry is green and Harry is red then Harry is cold.
Harry is white.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4 OR ((triple2) -> rule1))] Erin is white.[(triple5)] Harry is big.[(triple6 OR ((triple9) -> rule2))] Harry is cold.[(triple7 OR ((triple8 triple10) -> rule3))] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10 OR ((triple7) -> rule1))] Harry is rough.[(triple11)] Harry is white.[(triple12)]