Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Nice people are white. All big, blue people are white. Furry people are nice. If Dave is furry and Dave is nice then Dave is quiet. Big people are furry. Furry people are white.
Dave is white.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple1) -> rule5))] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple3) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Dave is quiet.[(triple6 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule4) OR ((((triple1) -> rule5) triple5) -> rule4) OR ((((triple1) -> rule5) ((triple3) -> rule3)) -> rule4) OR ((triple3 ((((triple1) -> rule5)) -> rule3)) -> rule4) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule4))] Dave is white.[(triple7 OR ((triple3) -> rule6) OR ((triple5) -> rule1) OR ((triple1 triple2) -> rule2) OR ((((triple1) -> rule5)) -> rule6) OR ((((triple3) -> rule3)) -> rule1) OR ((((((triple1) -> rule5)) -> rule3)) -> rule1))]