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