Charlie is blue. Charlie is green. Charlie is not quiet. Charlie is not red. Dave is blue. Dave is not cold. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Erin is blue. Erin is cold. Erin is not green. Erin is nice. Erin is quiet. All quiet, blue people are nice. Nice people are red. If Charlie is blue and Charlie is quiet then Charlie is not cold.
Erin is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not red.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple7)] Dave is nice.[(triple8 OR ((triple9 triple5) -> rule1))] Dave is not cold.[(triple6)] Dave is quiet.[(triple9)] Dave is red.[(triple10 OR ((triple8) -> rule2) OR ((((triple9 triple5) -> rule1)) -> rule2))] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is nice.[(triple14 OR ((triple15 triple11) -> rule1))] Erin is not green.[(triple13)] Erin is quiet.[(triple15)] @1: Erin is red.[(((triple14) -> rule2) OR ((((triple15 triple11) -> rule1)) -> rule2))]