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