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