Bob is not big. Bob is not quiet. Erin is nice. Gary is nice. Gary is quiet. Harry is big. Harry is rough. All red things are quiet. All big things are red. All smart things are red. If something is quiet and big then it is nice. If Harry is big and Harry is not rough then Harry is round. If Harry is big and Harry is not rough then Harry is round. If something is round and not rough then it is smart. If Erin is rough and Erin is round then Erin is red.
Gary is red.
@0: Bob is not big.[(triple1)] Bob is not quiet.[(triple2)] Erin is nice.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Harry is big.[(triple6)] Harry is rough.[(triple7)] @1: Harry is red.[(((triple6) -> rule2))] @2: Harry is quiet.[(((((triple6) -> rule2)) -> rule1))] @3: Harry is nice.[(((((((triple6) -> rule2)) -> rule1) triple6) -> rule4))]