Bob is furry. Bob is round. Bob is smart. Dave is big. Dave is blue. Dave is quiet. Dave is round. Erin is big. Erin is blue. Erin is furry. Erin is round. Erin is smart. If something is big then it is blue. All blue, white things are furry. Round things are white.
Bob is not quiet.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5 OR ((triple4) -> rule1))] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple8) -> rule1))] Erin is furry.[(triple10 OR ((triple9 ((triple11) -> rule3)) -> rule2) OR ((((triple8) -> rule1) ((triple11) -> rule3)) -> rule2))] Erin is round.[(triple11)] Erin is smart.[(triple12)] @1: Bob is white.[(((triple2) -> rule3))] Dave is white.[(((triple7) -> rule3))] Erin is white.[(((triple11) -> rule3))] @2: Dave is furry.[(((triple5 ((triple7) -> rule3)) -> rule2) OR ((((triple4) -> rule1) ((triple7) -> rule3)) -> rule2))]