Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is white. If something is kind and quiet then it is not young. If something is quiet and not green then it is young. All furry things are quiet.
Dave is kind.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple1) -> rule3))] Bob is round.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] @1: Bob is not young.[(((triple3 triple4) -> rule1) OR ((triple3 ((triple1) -> rule3)) -> rule1))] Dave is not young.[(((triple7 triple8) -> rule1))]