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