Anne is kind. Charlie is rough. Charlie is smart. Charlie is young. Erin is smart. Erin is young. Gary is smart. If Erin is rough then Erin is quiet. Smart things are kind. All young, red things are smart. If something is smart then it is rough. Kind things are young. If something is quiet and kind then it is rough. If something is red and rough then it is quiet. Young things are red.
Anne is red.
@0: Anne is kind.[(triple1)] Charlie is rough.[(triple2 OR ((triple3) -> rule4) OR ((((triple4 ((triple4) -> rule8)) -> rule3)) -> rule4))] Charlie is smart.[(triple3 OR ((triple4 ((triple4) -> rule8)) -> rule3))] Charlie is young.[(triple4 OR ((((triple3) -> rule2)) -> rule5))] Erin is smart.[(triple5 OR ((triple6 ((triple6) -> rule8)) -> rule3))] Erin is young.[(triple6 OR ((((triple5) -> rule2)) -> rule5))] Gary is smart.[(triple7)] @1: Anne is young.[(((triple1) -> rule5))] Charlie is kind.[(((triple3) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule3)) -> rule2))] Charlie is red.[(((triple4) -> rule8) OR ((((((triple3) -> rule2)) -> rule5)) -> rule8))] Erin is kind.[(((triple5) -> rule2) OR ((((triple6 ((triple6) -> rule8)) -> rule3)) -> rule2))] Erin is red.[(((triple6) -> rule8) OR ((((((triple5) -> rule2)) -> rule5)) -> rule8))] Erin is rough.[(((triple5) -> rule4) OR ((((triple6 ((triple6) -> rule8)) -> rule3)) -> rule4))] Gary is kind.[(((triple7) -> rule2))] Gary is rough.[(((triple7) -> rule4))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule8))] Charlie is quiet.[(((((triple4) -> rule8) triple2) -> rule7) OR ((((triple4) -> rule8) ((triple3) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule8) triple2) -> rule7) OR ((((triple4) -> rule8) ((((triple4 ((triple4) -> rule8)) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule8) ((triple3) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule8) ((((triple4 ((triple4) -> rule8)) -> rule3)) -> rule4)) -> rule7))] Erin is quiet.[(((((triple5) -> rule4)) -> rule1) OR ((((triple6) -> rule8) ((triple5) -> rule4)) -> rule7) OR ((((((triple6 ((triple6) -> rule8)) -> rule3)) -> rule4)) -> rule1) OR ((((triple6) -> rule8) ((((triple6 ((triple6) -> rule8)) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule8) ((triple5) -> rule4)) -> rule7) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule8) ((((triple6 ((triple6) -> rule8)) -> rule3)) -> rule4)) -> rule7))] Gary is young.[(((((triple7) -> rule2)) -> rule5))] @3: Anne is smart.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule3))] Gary is red.[(((((((triple7) -> rule2)) -> rule5)) -> rule8))] @4: Anne is rough.[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule3)) -> rule4))] Gary is quiet.[(((((((((triple7) -> rule2)) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7))] @5: Anne is quiet.[(((((((triple1) -> rule5)) -> rule8) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule3)) -> rule4)) -> rule7))]