Bob is quiet. Bob is white. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is white. If Bob is quiet then Bob is nice. If someone is furry and blue then they are white. If someone is quiet then they are rough. Big people are furry. Nice people are big. Big people are white.
Bob is not furry.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2 OR ((((((triple1) -> rule1)) -> rule5)) -> rule6))] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((((triple5) -> rule5)) -> rule4))] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7 OR ((triple4 triple3) -> rule2) OR ((((triple5) -> rule5)) -> rule6) OR ((((((triple5) -> rule5)) -> rule4) triple3) -> rule2))] @1: Bob is nice.[(((triple1) -> rule1))] Bob is rough.[(((triple1) -> rule3))] Dave is big.[(((triple5) -> rule5))] Dave is rough.[(((triple6) -> rule3))] @2: Bob is big.[(((((triple1) -> rule1)) -> rule5))] @3: Bob is furry.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]