Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is white. Anne is young. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. If something is red then it is furry. If Anne is white and Anne is furry then Anne is nice. If something is young then it is quiet. All quiet, red things are young. If Erin is red then Erin is quiet. Red, round things are quiet.
Erin is not quiet.
@0: Anne is furry.[(triple1 OR ((triple4) -> rule1))] Anne is nice.[(triple2 OR ((triple6 triple1) -> rule2) OR ((triple6 ((triple4) -> rule1)) -> rule2))] Anne is quiet.[(triple3 OR ((triple7) -> rule3) OR ((triple4 triple5) -> rule6))] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple3 triple4) -> rule4) OR ((((triple4 triple5) -> rule6) triple4) -> rule4))] Erin is furry.[(triple8 OR ((triple11) -> rule1))] Erin is nice.[(triple9)] Erin is quiet.[(triple10 OR ((triple11) -> rule5) OR ((triple14) -> rule3) OR ((triple11 triple12) -> rule6))] Erin is red.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14 OR ((triple10 triple11) -> rule4) OR ((((triple11) -> rule5) triple11) -> rule4) OR ((((triple11 triple12) -> rule6) triple11) -> rule4))]