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