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