Bob is not furry. Charlie is kind. Charlie is red. Charlie is not rough. Charlie is white. Charlie is young. Dave is furry. Dave is green. Dave is kind. Dave is rough. Dave is white. Fiona is not furry. Fiona is green. Fiona is red. Fiona is rough. Fiona is young. If something is green and white then it is young. If something is furry and not white then it is red. Furry things are red. If Bob is not young then Bob is furry. If something is white and not furry then it is kind. If something is young and not kind then it is not rough.
Bob is rough.
@0: Bob is not furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is not rough.[(triple4)] Charlie is red.[(triple3)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Fiona is green.[(triple13)] Fiona is not furry.[(triple12)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16)] @1: Dave is red.[(((triple7) -> rule3))] Dave is young.[(((triple8 triple11) -> rule1))]