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