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