Anne is not nice. Anne is rough. Anne is smart. Bob is rough. Gary is nice. Gary is quiet. Harry is rough. If Gary is big then Gary is cold. All nice people are big. If Gary is big then Gary is quiet. If someone is green then they are smart. If Anne is quiet and Anne is not green then Anne is big. If someone is nice and not quiet then they are not rough. If someone is quiet and not big then they are not rough. Cold people are rough.
Gary is rough.
@0: Anne is not nice.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Bob is rough.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((((triple5) -> rule2)) -> rule3))] Harry is rough.[(triple7)] @1: Gary is big.[(((triple5) -> rule2))] @2: Gary is cold.[(((((triple5) -> rule2)) -> rule1))] @3: Gary is rough.[(((((((triple5) -> rule2)) -> rule1)) -> rule8))]