Dave is cold. Dave is kind. Dave is nice. Dave is not red. Dave is not rough. Dave is white. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is white. Fiona is cold. Fiona is quiet. Fiona is rough. Rough, cold people are kind. If someone is red and not kind then they are not nice.
Fiona is not red.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not red.[(triple4)] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8 OR ((triple12 triple7) -> rule1))] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is white.[(triple13)] Fiona is cold.[(triple14)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16)] @1: Fiona is kind.[(((triple16 triple14) -> rule1))]