Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is round. Bob is blue. Bob is cold. Bob is rough. Bob is round. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is round. All cold things are quiet. If Erin is blue then Erin is nice. Nice, red things are round.
Erin is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple2) -> rule1))] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is round.[(triple7 OR ((triple3 triple5) -> rule3))] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is rough.[(triple10)] Bob is round.[(triple11)] Erin is blue.[(triple12)] Erin is nice.[(triple13 OR ((triple12) -> rule2))] Erin is red.[(triple14)] Erin is rough.[(triple15)] Erin is round.[(triple16 OR ((triple13 triple14) -> rule3) OR ((((triple12) -> rule2) triple14) -> rule3))] @1: Bob is quiet.[(((triple9) -> rule1))]