Charlie is cold. Charlie is smart. Charlie is young. Erin is cold. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If something is kind then it is quiet. If something is young then it is rough. If something is kind then it is smart. All quiet things are smart. All rough things are kind. If Gary is quiet then Gary is rough.
Gary is not cold.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2 OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule1)) -> rule4))] Charlie is young.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5 OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple8) -> rule2)) -> rule5)) -> rule1))] Erin is rough.[(triple6 OR ((triple8) -> rule2))] Erin is smart.[(triple7 OR ((triple5) -> rule4) OR ((((triple6) -> rule5)) -> rule3) OR ((((((triple6) -> rule5)) -> rule1)) -> rule4) OR ((((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple8) -> rule2)) -> rule5)) -> rule1)) -> rule4))] Erin is young.[(triple8)] Gary is kind.[(triple9 OR ((triple11) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((triple12) -> rule2)) -> rule5))] Gary is quiet.[(triple10 OR ((triple9) -> rule1) OR ((((triple11) -> rule5)) -> rule1) OR ((((((triple12) -> rule2)) -> rule5)) -> rule1))] Gary is rough.[(triple11 OR ((triple10) -> rule6) OR ((triple12) -> rule2) OR ((((triple9) -> rule1)) -> rule6))] Gary is young.[(triple12)] @1: Charlie is rough.[(((triple3) -> rule2))] Erin is kind.[(((triple6) -> rule5) OR ((((triple8) -> rule2)) -> rule5))] Gary is smart.[(((triple10) -> rule4) OR ((triple9) -> rule3) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple10) -> rule6)) -> rule5)) -> rule3) OR ((((((triple11) -> rule5)) -> rule1)) -> rule4) OR ((((((triple12) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule1)) -> rule4))] @2: Charlie is kind.[(((((triple3) -> rule2)) -> rule5))] @3: Charlie is quiet.[(((((((triple3) -> rule2)) -> rule5)) -> rule1))]