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