Anne is furry. Anne is rough. Erin is big. Erin is blue. Erin is furry. Erin is rough. Harry is big. Harry is blue. Harry is furry. Harry is rough. Harry is smart. Harry is young. If Anne is furry then Anne is rough.
Erin is smart.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule1))] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is rough.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)]