Fiona is blue. Fiona is nice. Fiona is young. Gary is blue. Gary is green. Gary is nice. Gary is smart. Gary is young. Harry is nice. Harry is smart. Nice, young things are green. If something is young and green then it is smart. If something is smart and green then it is quiet.
Harry is quiet.
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Fiona is young.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5 OR ((triple6 triple8) -> rule1))] Gary is nice.[(triple6)] Gary is smart.[(triple7 OR ((triple8 triple5) -> rule2) OR ((triple8 ((triple6 triple8) -> rule1)) -> rule2))] Gary is young.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is green.[(((triple2 triple3) -> rule1))] Gary is quiet.[(((triple7 triple5) -> rule3) OR ((triple7 ((triple6 triple8) -> rule1)) -> rule3) OR ((((triple8 triple5) -> rule2) triple5) -> rule3) OR ((((triple8 triple5) -> rule2) ((triple6 triple8) -> rule1)) -> rule3) OR ((((triple8 ((triple6 triple8) -> rule1)) -> rule2) triple5) -> rule3) OR ((((triple8 ((triple6 triple8) -> rule1)) -> rule2) ((triple6 triple8) -> rule1)) -> rule3))] @2: Fiona is smart.[(((triple3 ((triple2 triple3) -> rule1)) -> rule2))] @3: Fiona is quiet.[(((((triple3 ((triple2 triple3) -> rule1)) -> rule2) ((triple2 triple3) -> rule1)) -> rule3))]