Anne is rough. Anne is young. Fiona is rough. Gary is cold. Gary is white. Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. All rough things are furry.
Fiona is young.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Fiona is rough.[(triple3)] Gary is cold.[(triple4)] Gary is white.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple10) -> rule1))] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Anne is furry.[(((triple1) -> rule1))] Fiona is furry.[(((triple3) -> rule1))]