Anne is blue. Anne is cold. Anne is not nice. Anne is not quiet. Anne is round. Anne is white. Anne is young. Dave is cold. Dave is nice. Dave is white. Dave is young. Erin is blue. Erin is cold. Erin is not quiet. Erin is white. Erin is young. If someone is young then they are round. If someone is quiet then they are nice. If Dave is not round then Dave is not quiet. All nice people are quiet. All round, nice people are quiet. If someone is round and not quiet then they are cold.
Erin is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple4) -> rule6) OR ((((triple7) -> rule1) triple4) -> rule6))] Anne is not nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5 OR ((triple7) -> rule1))] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is cold.[(triple8)] Dave is nice.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11)] Erin is blue.[(triple12)] Erin is cold.[(triple13 OR ((((triple16) -> rule1) triple14) -> rule6))] Erin is not quiet.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Dave is quiet.[(((triple9) -> rule4) OR ((((triple11) -> rule1) triple9) -> rule5))] Dave is round.[(((triple11) -> rule1))] Erin is round.[(((triple16) -> rule1))]