Anne is furry. Anne is quiet. Anne is rough. Anne is young. Charlie is blue. Charlie is nice. Charlie is rough. Erin is big. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Blue people are big. If Anne is furry then Anne is nice. If someone is big then they are quiet. All blue, quiet people are young. If someone is quiet then they are blue. If someone is blue and furry then they are big. If someone is nice and furry then they are young. All furry, blue people are big.
Charlie is not nice.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4 OR ((((triple1) -> rule2) triple1) -> rule7) OR ((((triple2) -> rule5) triple2) -> rule4))] Charlie is blue.[(triple5)] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] Erin is big.[(triple8 OR ((((triple11) -> rule5)) -> rule1) OR ((triple9 ((triple11) -> rule5)) -> rule8) OR ((((triple11) -> rule5) triple9) -> rule6))] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11 OR ((triple8) -> rule3))] Erin is rough.[(triple12)] @1: Anne is blue.[(((triple2) -> rule5))] Anne is nice.[(((triple1) -> rule2))] Charlie is big.[(((triple5) -> rule1))] Erin is blue.[(((triple11) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Erin is young.[(((triple10 triple9) -> rule7) OR ((((triple11) -> rule5) triple11) -> rule4) OR ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4))] @2: Anne is big.[(((((triple2) -> rule5)) -> rule1) OR ((triple1 ((triple2) -> rule5)) -> rule8) OR ((((triple2) -> rule5) triple1) -> rule6))] Charlie is quiet.[(((((triple5) -> rule1)) -> rule3))] @3: Charlie is young.[(((triple5 ((((triple5) -> rule1)) -> rule3)) -> rule4))]