Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is white. Dave is furry. Dave is kind. Dave is quiet. Dave is white. Fiona is furry. Fiona is quiet. Fiona is red. Harry is furry. Harry is green. Harry is quiet. If something is kind then it is furry. Green things are kind. All kind things are furry. Cold things are red. If something is furry and green then it is kind. If something is cold then it is white. If Harry is kind then Harry is green. Cold, kind things are red.
Fiona is not furry.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule1) OR ((triple4) -> rule3) OR ((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule3))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple3) -> rule2) OR ((triple2 triple3) -> rule5))] Charlie is red.[(triple5 OR ((triple1) -> rule4) OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple3) -> rule2)) -> rule8) OR ((triple1 ((triple2 triple3) -> rule5)) -> rule8))] Charlie is white.[(triple6 OR ((triple1) -> rule6))] Dave is furry.[(triple7 OR ((triple8) -> rule1) OR ((triple8) -> rule3))] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is white.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Harry is furry.[(triple14 OR ((((triple15) -> rule2)) -> rule1) OR ((((triple15) -> rule2)) -> rule3))] Harry is green.[(triple15)] Harry is quiet.[(triple16)] @1: Harry is kind.[(((triple15) -> rule2) OR ((triple14 triple15) -> rule5))]