Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is white. Gary is young. Furry, cold people are red. If someone is furry and red then they are green. White people are young. All cold people are quiet. If someone is cold then they are red. If someone is green and white then they are young.
Gary is not quiet.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple1) -> rule5)) -> rule2) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule2))] Gary is quiet.[(triple4 OR ((triple1) -> rule4))] Gary is red.[(triple5 OR ((triple1) -> rule5) OR ((triple2 triple1) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule3) OR ((triple3 triple6) -> rule6) OR ((((triple2 triple5) -> rule2) triple6) -> rule6) OR ((((triple2 ((triple1) -> rule5)) -> rule2) triple6) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule2) triple6) -> rule6))]