Dave is cold. Dave is green. Dave is kind. Dave is not red. Dave is smart. Erin is cold. Erin is kind. Erin is red. Erin is smart. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is not red. Fiona is round. Fiona is smart. If someone is red and kind then they are not furry. If someone is kind and not red then they are not round.
Fiona is not kind.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not red.[(triple4)] Dave is smart.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Fiona is cold.[(triple10)] Fiona is green.[(triple12)] Fiona is not furry.[(triple11)] Fiona is not red.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Dave is not round.[(((triple3 triple4) -> rule2))] Erin is not furry.[(((triple8 triple7) -> rule1))]