Erin is big. Erin is blue. Erin is cold. Erin is rough. Erin is white. Erin is young. Harry is young. If someone is blue then they are white. If Erin is young then Erin is big. If someone is young then they are rough.
Harry is not white.
@0: Erin is big.[(triple1 OR ((triple6) -> rule2))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is rough.[(triple4 OR ((triple6) -> rule3))] Erin is white.[(triple5 OR ((triple2) -> rule1))] Erin is young.[(triple6)] Harry is young.[(triple7)] @1: Harry is rough.[(((triple7) -> rule3))]