Gary is blue. Gary is cold. Gary is not kind. Gary is red. Gary is rough. Gary is round. Gary is young. Red things are round. If something is kind then it is not rough. Blue things are not kind. Rough things are blue. If something is kind and not round then it is blue. All round things are blue. If something is young and not red then it is blue. If something is kind and not blue then it is cold.
Gary is kind.
@0: Gary is blue.[(triple1 OR ((triple5) -> rule4) OR ((triple6) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] Gary is cold.[(triple2)] Gary is not kind.[(triple3 OR ((triple1) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule6)) -> rule3) OR ((((((triple4) -> rule1)) -> rule6)) -> rule3))] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple4) -> rule1))] Gary is young.[(triple7)]