Fiona is not blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. Gary is blue. Gary is green. Gary is young. Harry is blue. Harry is furry. Harry is nice. Harry is round. Harry is smart. Harry is young. Young people are smart. Smart people are nice.
Gary is smart.
@0: Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4 OR ((triple6) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Fiona is not blue.[(triple1)] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple7) -> rule1))] Fiona is young.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13 OR ((triple15) -> rule2) OR ((((triple16) -> rule1)) -> rule2))] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple16) -> rule1))] Harry is young.[(triple16)] @1: Gary is smart.[(((triple10) -> rule1))] @2: Gary is nice.[(((((triple10) -> rule1)) -> rule2))]