Gary is kind. Gary is smart. Gary is young. Harry is green. Harry is kind. Harry is red. Harry is smart. If someone is white then they are blue. If someone is green then they are white. All smart people are red. If Gary is smart and Gary is red then Gary is green. Green people are blue. White, green people are young. If someone is smart then they are kind. If Harry is green and Harry is red then Harry is kind.
Gary is red.
@0: Gary is kind.[(triple1 OR ((triple2) -> rule7))] Gary is smart.[(triple2)] Gary is young.[(triple3 OR ((((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule2) ((triple2 ((triple2) -> rule3)) -> rule4)) -> rule6))] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple7) -> rule7) OR ((triple4 triple6) -> rule8) OR ((triple4 ((triple7) -> rule3)) -> rule8))] Harry is red.[(triple6 OR ((triple7) -> rule3))] Harry is smart.[(triple7)] @1: Gary is red.[(((triple2) -> rule3))] Harry is blue.[(((triple4) -> rule5) OR ((((triple4) -> rule2)) -> rule1))] Harry is white.[(((triple4) -> rule2))] @2: Gary is green.[(((triple2 ((triple2) -> rule3)) -> rule4))] Harry is young.[(((((triple4) -> rule2) triple4) -> rule6))] @3: Gary is blue.[(((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule2)) -> rule1))] Gary is white.[(((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule2))]