Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is smart. Anne is young. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is smart. Harry is young. Red people are nice. Big people are young. If Anne is smart then Anne is young.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4 OR ((triple5) -> rule1))] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule2) OR ((triple6) -> rule3))] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11 OR ((triple12) -> rule1))] Harry is red.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14 OR ((triple8) -> rule2))]