Erin is big. Erin is cold. Erin is green. Erin is rough. Erin is white. Harry is big. Harry is blue. Harry is cold. Harry is not furry. Harry is green. Harry is rough. Harry is white. If Harry is big then Harry is white. All furry things are not green. All big, cold things are green. If something is rough and blue then it is green. If something is blue and not big then it is white. If something is furry and not blue then it is white. If Erin is rough and Erin is not cold then Erin is white. If something is cold then it is not furry.
Harry is not furry.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3 OR ((triple1 triple2) -> rule3))] Erin is rough.[(triple4)] Erin is white.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple10 OR ((triple11 triple7) -> rule4) OR ((triple6 triple8) -> rule3))] Harry is not furry.[(triple9 OR ((triple8) -> rule8))] Harry is rough.[(triple11)] Harry is white.[(triple12 OR ((triple6) -> rule1))] @1: Erin is not furry.[(((triple2) -> rule8))]