Anne is young. Dave is big. Gary is big. Gary is cold. Gary is rough. Harry is cold. Harry is furry. If something is big then it is round. All big things are cold. Young things are rough.
Anne is not round.
@0: Anne is young.[(triple1)] Dave is big.[(triple2)] Gary is big.[(triple3)] Gary is cold.[(triple4 OR ((triple3) -> rule2))] Gary is rough.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] @1: Anne is rough.[(((triple1) -> rule3))] Dave is cold.[(((triple2) -> rule2))] Dave is round.[(((triple2) -> rule1))] Gary is round.[(((triple3) -> rule1))]