Fiona is cold. Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Gary is blue. Gary is green. Gary is kind. Gary is rough. All smart things are cold. Cold things are blue. Rough things are young. If something is rough and blue then it is green. If something is cold then it is smart. Young things are smart.
Gary is not young.
@0: Fiona is cold.[(triple1 OR ((triple5) -> rule1) OR ((((triple6) -> rule6)) -> rule1) OR ((((((triple4) -> rule3)) -> rule6)) -> rule1))] Fiona is green.[(triple2 OR ((triple4 ((triple1) -> rule2)) -> rule4) OR ((triple4 ((((triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple4 ((((((triple6) -> rule6)) -> rule1)) -> rule2)) -> rule4) OR ((triple4 ((((((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule2)) -> rule4))] Fiona is kind.[(triple3)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5 OR ((triple1) -> rule5) OR ((triple6) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] Fiona is young.[(triple6 OR ((triple4) -> rule3))] Gary is blue.[(triple7 OR ((((((((triple10) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Gary is green.[(triple8 OR ((triple10 triple7) -> rule4) OR ((triple10 ((((((((triple10) -> rule3)) -> rule6)) -> rule1)) -> rule2)) -> rule4))] Gary is kind.[(triple9)] Gary is rough.[(triple10)] @1: Fiona is blue.[(((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((((triple6) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Gary is young.[(((triple10) -> rule3))] @2: Gary is smart.[(((((triple10) -> rule3)) -> rule6))] @3: Gary is cold.[(((((((triple10) -> rule3)) -> rule6)) -> rule1))]