Bob is furry. Bob is green. Bob is quiet. Bob is white. Bob is young. Dave is not furry. Dave is not green. Dave is red. Dave is not round. Dave is white. Fiona is furry. Fiona is green. Fiona is red. Fiona is not round. Fiona is white. If something is red and not quiet then it is green. Quiet, green things are furry. All furry, round things are red. If something is furry then it is white. If Bob is quiet then Bob is round. If Bob is furry and Bob is quiet then Bob is white.
Bob is not round.
@0: Bob is furry.[(triple1 OR ((triple3 triple2) -> rule2))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4 OR ((triple1) -> rule4) OR ((triple1 triple3) -> rule6) OR ((((triple3 triple2) -> rule2)) -> rule4) OR ((((triple3 triple2) -> rule2) triple3) -> rule6))] Bob is young.[(triple5)] Dave is not furry.[(triple6)] Dave is not green.[(triple7)] Dave is not round.[(triple9)] Dave is red.[(triple8)] Dave is white.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not round.[(triple14)] Fiona is red.[(triple13)] Fiona is white.[(triple15 OR ((triple11) -> rule4))] @1: Bob is round.[(((triple3) -> rule5))] @2: Bob is red.[(((triple1 ((triple3) -> rule5)) -> rule3) OR ((((triple3 triple2) -> rule2) ((triple3) -> rule5)) -> rule3))]