Anne is smart. Fiona is young. Gary is furry. Gary is smart. Harry is furry. Harry is rough. Harry is smart. All rough things are smart. If Gary is smart then Gary is young.
Anne is rough.
@0: Anne is smart.[(triple1)] Fiona is young.[(triple2)] Gary is furry.[(triple3)] Gary is smart.[(triple4)] Harry is furry.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7 OR ((triple6) -> rule1))] @1: Gary is young.[(((triple4) -> rule2))]