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