Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is round. Bob is smart. Bob is white. Erin is furry. Erin is round. Erin is smart. Erin is white. Gary is furry. All round people are smart. If Gary is furry then Gary is big. If someone is big and furry then they are round. If someone is quiet then they are blue. If someone is white then they are blue. If someone is furry and smart then they are round.
Gary is furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule4) OR ((triple7) -> rule5))] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple3) -> rule3) OR ((triple3 triple6) -> rule6))] Bob is smart.[(triple6 OR ((triple5) -> rule1) OR ((((triple1 triple3) -> rule3)) -> rule1))] Bob is white.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9 OR ((triple8 triple10) -> rule6))] Erin is smart.[(triple10 OR ((triple9) -> rule1))] Erin is white.[(triple11)] Gary is furry.[(triple12)] @1: Erin is blue.[(((triple11) -> rule5))] Gary is big.[(((triple12) -> rule2))] @2: Gary is round.[(((((triple12) -> rule2) triple12) -> rule3))] @3: Gary is smart.[(((((((triple12) -> rule2) triple12) -> rule3)) -> rule1))]