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