Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Bob is big. Bob is cold. Bob is furry. Bob is not nice. Bob is quiet. Bob is not rough. Bob is smart. Gary is big. Gary is cold. Gary is smart. All big people are quiet.
Gary is not rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule1))] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is not nice.[(triple10)] Bob is not rough.[(triple12)] Bob is quiet.[(triple11 OR ((triple7) -> rule1))] Bob is smart.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is smart.[(triple16)] @1: Gary is quiet.[(((triple14) -> rule1))]