Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is white. Gary is young. If someone is quiet and white then they are young. Quiet people are young. Blue, quiet people are young. Quiet, young people are blue. Young people are quiet. If Gary is not cold then Gary is quiet. If Gary is young then Gary is quiet. If Gary is not kind then Gary is blue.
Gary is not white.
@0: Gary is blue.[(triple1 OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple5) -> rule2)) -> rule4) OR ((triple5 ((triple5 triple6) -> rule1)) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4) OR ((((triple7) -> rule7) triple7) -> rule4) OR ((((triple7) -> rule5) ((triple5) -> rule2)) -> rule4) OR ((((triple7) -> rule5) ((triple5 triple6) -> rule1)) -> rule4) OR ((((triple7) -> rule7) ((triple5) -> rule2)) -> rule4) OR ((((triple7) -> rule7) ((triple5 triple6) -> rule1)) -> rule4))] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((triple7) -> rule5) OR ((triple7) -> rule7))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple5) -> rule2) OR ((triple1 triple5) -> rule3) OR ((triple5 triple6) -> rule1))]