Bob is nice. Bob is quiet. Bob is rough. Bob is round. Dave is furry. Dave is nice. Dave is rough. Erin is quiet. Erin is not round. Erin is young. If someone is rough and not quiet then they are nice. If Dave is rough then Dave is young. Quiet people are kind. If someone is quiet and not nice then they are furry. If someone is nice and not kind then they are round. If someone is kind and not round then they are young.
Dave is quiet.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7)] Erin is not round.[(triple9)] Erin is quiet.[(triple8)] Erin is young.[(triple10 OR ((((triple8) -> rule3) triple9) -> rule6))] @1: Bob is kind.[(((triple2) -> rule3))] Dave is young.[(((triple7) -> rule2))] Erin is kind.[(((triple8) -> rule3))]