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