Bob is blue. Bob is cold. Bob is kind. Bob is white. Erin is blue. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is white. Gary is green. Harry is blue. Harry is kind. Harry is red. Harry is rough. Harry is white. If something is rough and red then it is cold. All blue things are white.
Gary is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4 OR ((triple1) -> rule2))] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10 OR ((triple5) -> rule2))] Gary is green.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16 OR ((triple12) -> rule2))] @1: Erin is cold.[(((triple9 triple8) -> rule1))] Harry is cold.[(((triple15 triple14) -> rule1))]