Anne is red. Anne is young. Gary is big. Gary is nice. Gary is red. Gary is smart. Gary is young. If Gary is quiet and Gary is not young then Gary is smart. All red, smart things are round. If something is smart and nice then it is round. Quiet things are round. All red things are round. If something is big then it is nice. If Anne is round and Anne is young then Anne is quiet. If something is round then it is quiet.
Gary is not quiet.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Gary is big.[(triple3)] Gary is nice.[(triple4 OR ((triple3) -> rule6))] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] @1: Anne is round.[(((triple1) -> rule5))] Gary is round.[(((triple5) -> rule5) OR ((triple5 triple6) -> rule2) OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple3) -> rule6)) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule5)) -> rule8) OR ((((triple1) -> rule5) triple2) -> rule7))] Gary is quiet.[(((((triple5) -> rule5)) -> rule8) OR ((((triple5 triple6) -> rule2)) -> rule8) OR ((((triple6 triple4) -> rule3)) -> rule8) OR ((((triple6 ((triple3) -> rule6)) -> rule3)) -> rule8))]