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