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