Charlie is furry. Charlie is red. Dave is furry. Dave is rough. Dave is smart. Dave is young. Fiona is kind. Fiona is not red. Fiona is young. Gary is not smart. If Gary is young and Gary is not kind then Gary is not red. Round, kind things are furry. If something is furry and not kind then it is not rough. If something is furry and not rough then it is smart. If something is red and kind then it is not smart. If something is kind and not red then it is smart.
Fiona is not furry.
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2)] Dave is furry.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Fiona is kind.[(triple7)] Fiona is not red.[(triple8)] Fiona is young.[(triple9)] Gary is not smart.[(triple10)] @1: Fiona is smart.[(((triple7 triple8) -> rule6))]