Fiona is nice. Fiona is red. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is white. Gary is young. Harry is red. Red people are green. Green, nice people are blue.
Harry is not kind.
@0: Fiona is nice.[(triple1)] Fiona is red.[(triple2)] Gary is blue.[(triple3 OR ((triple4 triple6) -> rule2) OR ((((triple7) -> rule1) triple6) -> rule2))] Gary is green.[(triple4 OR ((triple7) -> rule1))] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is red.[(triple10)] @1: Fiona is green.[(((triple2) -> rule1))] Harry is green.[(((triple10) -> rule1))] @2: Fiona is blue.[(((((triple2) -> rule1) triple1) -> rule2))]