Anne is red. Anne is round. Anne is white. Charlie is round. Charlie is white. Dave is big. Dave is quiet. Dave is round. Erin is furry. Erin is round. Quiet, red things are white. If Dave is furry then Dave is round. All round things are red. Big things are nice. All quiet things are big. If something is red and big then it is nice. If Anne is furry then Anne is nice. Big, nice things are quiet.
Dave is not round.
@0: Anne is red.[(triple1 OR ((triple2) -> rule3))] Anne is round.[(triple2)] Anne is white.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6 OR ((triple7) -> rule5))] Dave is quiet.[(triple7 OR ((triple6 ((triple6) -> rule4)) -> rule8) OR ((triple6 ((((triple8) -> rule3) triple6) -> rule6)) -> rule8))] Dave is round.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)] @1: Charlie is red.[(((triple4) -> rule3))] Dave is nice.[(((triple6) -> rule4) OR ((((triple7) -> rule5)) -> rule4) OR ((((triple8) -> rule3) triple6) -> rule6) OR ((((triple8) -> rule3) ((triple7) -> rule5)) -> rule6))] Dave is red.[(((triple8) -> rule3))] Erin is red.[(((triple10) -> rule3))] @2: Dave is white.[(((triple7 ((triple8) -> rule3)) -> rule1) OR ((((triple6 ((triple6) -> rule4)) -> rule8) ((triple8) -> rule3)) -> rule1) OR ((((triple6 ((((triple8) -> rule3) triple6) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule1))]