Gary is kind. Gary is nice. Gary is young. All kind, young things are cold. If Gary is kind and Gary is quiet then Gary is cold. If Gary is red and Gary is big then Gary is young. If Gary is big and Gary is not quiet then Gary is kind. If Gary is big and Gary is cold then Gary is kind. All nice things are kind.
Gary is not red.
@0: Gary is kind.[(triple1 OR ((triple2) -> rule6))] Gary is nice.[(triple2)] Gary is young.[(triple3)] @1: Gary is cold.[(((triple1 triple3) -> rule1) OR ((((triple2) -> rule6) triple3) -> rule1))]