Bob is big. Bob is quiet. Erin is white. Gary is big. Gary is red. Harry is green. Harry is smart. If someone is smart and big then they are white. All quiet, red people are smart. If someone is smart and white then they are green. Red, round people are quiet. If someone is big then they are round. If Erin is round and Erin is quiet then Erin is smart. If someone is red and green then they are big.
Gary is not white.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Erin is white.[(triple3)] Gary is big.[(triple4)] Gary is red.[(triple5)] Harry is green.[(triple6)] Harry is smart.[(triple7)] @1: Bob is round.[(((triple1) -> rule5))] Gary is round.[(((triple4) -> rule5))] @2: Gary is quiet.[(((triple5 ((triple4) -> rule5)) -> rule4))] @3: Gary is smart.[(((((triple5 ((triple4) -> rule5)) -> rule4) triple5) -> rule2))] @4: Gary is white.[(((((((triple5 ((triple4) -> rule5)) -> rule4) triple5) -> rule2) triple4) -> rule1))] @5: Gary is green.[(((((((triple5 ((triple4) -> rule5)) -> rule4) triple5) -> rule2) ((((((triple5 ((triple4) -> rule5)) -> rule4) triple5) -> rule2) triple4) -> rule1)) -> rule3))]