Dave is not smart. Fiona is cold. Fiona is quiet. Fiona is not red. Fiona is smart. Gary is cold. Gary is furry. Gary is not kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. If something is red then it is quiet. If something is furry and not red then it is not quiet. If Fiona is kind and Fiona is red then Fiona is not furry. If something is quiet and not young then it is cold. If Gary is quiet then Gary is furry. All young things are furry. Cold, kind things are furry. If Fiona is red and Fiona is furry then Fiona is cold.
Fiona is not red.
@0: Dave is not smart.[(triple1)] Fiona is cold.[(triple2)] Fiona is not red.[(triple4)] Fiona is quiet.[(triple3)] Fiona is smart.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7 OR ((triple12) -> rule6) OR ((triple9) -> rule5) OR ((((triple10) -> rule1)) -> rule5))] Gary is not kind.[(triple8)] Gary is quiet.[(triple9 OR ((triple10) -> rule1))] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]