Bob is not blue. Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is furry. Charlie is smart. Dave is furry. Dave is kind. Dave is smart. Dave is not young. Fiona is blue. Fiona is not furry. Fiona is kind. Fiona is rough. Fiona is young. If Fiona is furry and Fiona is not smart then Fiona is blue. If something is rough then it is not furry. All round things are kind. If Charlie is blue then Charlie is kind. If Dave is round and Dave is not rough then Dave is kind. Furry, kind things are blue.
Dave is rough.
@0: Bob is not blue.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is smart.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is not young.[(triple11)] Dave is smart.[(triple10)] Fiona is blue.[(triple12)] Fiona is kind.[(triple14)] Fiona is not furry.[(triple13 OR ((triple15) -> rule2))] Fiona is rough.[(triple15)] Fiona is young.[(triple16)] @1: Bob is kind.[(((triple3) -> rule3))] Bob is not furry.[(((triple2) -> rule2))] Dave is blue.[(((triple8 triple9) -> rule6))]