Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not round. Charlie is not young. Dave is not cold. Dave is nice. Dave is quiet. Fiona is not cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is not round. Fiona is young. If someone is nice then they are furry. If someone is nice then they are furry. All round people are kind.
Dave is not kind.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule1) OR ((triple4) -> rule2))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not round.[(triple6)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple5)] Dave is nice.[(triple9)] Dave is not cold.[(triple8)] Dave is quiet.[(triple10)] Fiona is furry.[(triple12 OR ((triple14) -> rule1) OR ((triple14) -> rule2))] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is not cold.[(triple11)] Fiona is not round.[(triple15)] Fiona is young.[(triple16)] @1: Dave is furry.[(((triple9) -> rule1) OR ((triple9) -> rule2))]