Anne is blue. Anne is cold. Anne is rough. Anne is smart. Anne is young. Gary is blue. Gary is cold. Gary is rough. Gary is white. Gary is young. All big, smart people are young. If someone is rough then they are big. If someone is smart and cold then they are white. If someone is young and blue then they are white. If someone is blue then they are big. If someone is young and smart then they are blue.
Gary is young.
@0: Anne is blue.[(triple1 OR ((triple5 triple4) -> rule6) OR ((((((triple3) -> rule2) triple4) -> rule1) triple4) -> rule6))] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((((triple1) -> rule5) triple4) -> rule1) OR ((((triple3) -> rule2) triple4) -> rule1))] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9 OR ((triple10 triple6) -> rule4))] Gary is young.[(triple10)] @1: Anne is big.[(((triple1) -> rule5) OR ((triple3) -> rule2) OR ((((triple5 triple4) -> rule6)) -> rule5))] Anne is white.[(((triple4 triple2) -> rule3) OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple5 triple4) -> rule6)) -> rule4) OR ((((((triple1) -> rule5) triple4) -> rule1) triple1) -> rule4) OR ((((((triple3) -> rule2) triple4) -> rule1) triple1) -> rule4) OR ((((((triple1) -> rule5) triple4) -> rule1) ((triple5 triple4) -> rule6)) -> rule4) OR ((((((triple3) -> rule2) triple4) -> rule1) ((triple5 triple4) -> rule6)) -> rule4) OR ((triple5 ((((((triple3) -> rule2) triple4) -> rule1) triple4) -> rule6)) -> rule4) OR ((((((triple1) -> rule5) triple4) -> rule1) ((((((triple3) -> rule2) triple4) -> rule1) triple4) -> rule6)) -> rule4) OR ((((((triple3) -> rule2) triple4) -> rule1) ((((((triple3) -> rule2) triple4) -> rule1) triple4) -> rule6)) -> rule4))] Gary is big.[(((triple6) -> rule5) OR ((triple8) -> rule2))]