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