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