Dave is cold. Dave is kind. Dave is red. Erin is cold. Erin is kind. Erin is not nice. Erin is red. Erin is white. Fiona is cold. Fiona is kind. Fiona is red. Fiona is not round. Cold people are not nice. All round people are kind. If Fiona is white then Fiona is not quiet. Quiet people are not round. If Erin is cold then Erin is quiet. Quiet people are cold. If Dave is nice and Dave is not quiet then Dave is not cold. If Fiona is quiet and Fiona is white then Fiona is not kind.
Fiona is quiet.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is not nice.[(triple6 OR ((triple4) -> rule1))] Erin is red.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is not round.[(triple12)] Fiona is red.[(triple11)] @1: Dave is not nice.[(((triple1) -> rule1))] Erin is quiet.[(((triple4) -> rule5))] Fiona is not nice.[(((triple9) -> rule1))] @2: Erin is not round.[(((((triple4) -> rule5)) -> rule4))]