Anne is young. Charlie is round. Dave is big. Dave is round. Erin is big. Erin is rough. Erin is round. If something is young then it is round. Round things are nice. Round, big things are rough. If something is young and rough then it is kind. If something is nice then it is red. If something is rough and big then it is young. All round things are nice. If something is red and big then it is young.
Erin is not big.
@0: Anne is young.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3)] Dave is round.[(triple4)] Erin is big.[(triple5)] Erin is rough.[(triple6 OR ((triple7 triple5) -> rule3))] Erin is round.[(triple7 OR ((((triple6 triple5) -> rule6)) -> rule1))] @1: Anne is round.[(((triple1) -> rule1))] Charlie is nice.[(((triple2) -> rule2) OR ((triple2) -> rule7))] Dave is nice.[(((triple4) -> rule2) OR ((triple4) -> rule7))] Dave is rough.[(((triple4 triple3) -> rule3))] Erin is nice.[(((triple7) -> rule2) OR ((triple7) -> rule7) OR ((((((triple6 triple5) -> rule6)) -> rule1)) -> rule2) OR ((((((triple6 triple5) -> rule6)) -> rule1)) -> rule7))] Erin is young.[(((triple6 triple5) -> rule6) OR ((((triple7 triple5) -> rule3) triple5) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) triple5) -> rule8) OR ((((((triple7) -> rule7)) -> rule5) triple5) -> rule8))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule1)) -> rule7))] Charlie is red.[(((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule7)) -> rule5))] Dave is red.[(((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule7)) -> rule5))] Dave is young.[(((((triple4 triple3) -> rule3) triple3) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) triple3) -> rule8) OR ((((((triple4) -> rule7)) -> rule5) triple3) -> rule8))] Erin is kind.[(((((triple6 triple5) -> rule6) triple6) -> rule4) OR ((((triple6 triple5) -> rule6) ((triple7 triple5) -> rule3)) -> rule4) OR ((((((triple7 triple5) -> rule3) triple5) -> rule6) triple6) -> rule4) OR ((((((triple7 triple5) -> rule3) triple5) -> rule6) ((triple7 triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5) triple5) -> rule8) triple6) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5) triple5) -> rule8) triple6) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5) triple5) -> rule8) ((triple7 triple5) -> rule3)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5) triple5) -> rule8) ((triple7 triple5) -> rule3)) -> rule4))] Erin is red.[(((((triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule7)) -> rule5) OR ((((((((triple6 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple6 triple5) -> rule6)) -> rule1)) -> rule7)) -> rule5))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1)) -> rule7)) -> rule5))] Dave is kind.[(((((((triple4 triple3) -> rule3) triple3) -> rule6) ((triple4 triple3) -> rule3)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) triple3) -> rule8) ((triple4 triple3) -> rule3)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule5) triple3) -> rule8) ((triple4 triple3) -> rule3)) -> rule4))]