Bob is big. Bob is not smart. Bob is white. Dave is furry. Dave is quiet. Erin is not furry. Erin is not quiet. Erin is red. Erin is not white. Erin is young. All young, big things are furry. White things are red. Furry, white things are red. All furry, big things are red. If something is smart then it is white. All furry, quiet things are smart.
Dave is not white.
@0: Bob is big.[(triple1)] Bob is not smart.[(triple2)] Bob is white.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Erin is not furry.[(triple6)] Erin is not quiet.[(triple7)] Erin is not white.[(triple9)] Erin is red.[(triple8)] Erin is young.[(triple10)] @1: Bob is red.[(((triple3) -> rule2))] Dave is smart.[(((triple4 triple5) -> rule6))] @2: Dave is white.[(((((triple4 triple5) -> rule6)) -> rule5))] @3: Dave is red.[(((((((triple4 triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple4 ((((triple4 triple5) -> rule6)) -> rule5)) -> rule3))]