Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. All big people are quiet. Rough people are nice.
Harry is quiet.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule2))] Anne is quiet.[(triple4 OR ((triple1) -> rule1))] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10 OR ((triple13) -> rule2))] Harry is quiet.[(triple11 OR ((triple8) -> rule1))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)]