Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is young. If Gary is smart and Gary is nice then Gary is green. All rough people are nice. All young people are cold. If someone is young then they are cold. If Gary is rough and Gary is nice then Gary is green. All nice people are cold.
Gary is not kind.
@0: Gary is cold.[(triple1 OR ((triple4) -> rule6) OR ((triple7) -> rule3) OR ((triple7) -> rule4) OR ((((triple5) -> rule2)) -> rule6))] Gary is green.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple6 triple4) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule5) OR ((triple6 ((triple5) -> rule2)) -> rule1))] Gary is kind.[(triple3)] Gary is nice.[(triple4 OR ((triple5) -> rule2))] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]