Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Dave is smart. Gary is nice. Gary is quiet. Gary is smart. Harry is big. Harry is green. Harry is quiet. Harry is smart. Smart people are nice. Big, rough people are quiet. If Harry is quiet then Harry is rough.
Harry is big.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Dave is smart.[(triple5)] Gary is nice.[(triple6 OR ((triple8) -> rule1))] Gary is quiet.[(triple7)] Gary is smart.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Dave is nice.[(((triple5) -> rule1))] Harry is nice.[(((triple12) -> rule1))] Harry is rough.[(((triple11) -> rule3))]