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