Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is young. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is young. If Harry is young then Harry is rough. Kind, rough people are young. Smart, young people are rough.
Harry is smart.
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is young.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14 OR ((triple15) -> rule1))] Harry is young.[(triple15 OR ((triple12 triple14) -> rule2))] @1: Fiona is young.[(((triple2 triple3) -> rule2))]