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