Anne is nice. Anne is smart. Charlie is smart. Charlie is young. Erin is young. Gary is nice. Gary is young. If someone is nice then they are quiet. Big people are smart. Kind people are smart. If someone is big then they are young. Young, quiet people are kind. Young people are nice. All smart people are big. All quiet people are blue. If Erin is big and Erin is not young then Erin is blue.
Anne is big.
@0: Anne is nice.[(triple1 OR ((((((triple2) -> rule7)) -> rule4)) -> rule6))] Anne is smart.[(triple2)] Charlie is smart.[(triple3 OR ((((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule5)) -> rule3))] Charlie is young.[(triple4 OR ((((triple3) -> rule7)) -> rule4))] Erin is young.[(triple5)] Gary is nice.[(triple6 OR ((triple7) -> rule6))] Gary is young.[(triple7)] @1: Anne is big.[(((triple2) -> rule7))] Anne is quiet.[(((triple1) -> rule1) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule1))] Charlie is big.[(((triple3) -> rule7) OR ((((((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Charlie is nice.[(((triple4) -> rule6) OR ((((((triple3) -> rule7)) -> rule4)) -> rule6))] Erin is nice.[(((triple5) -> rule6))] Gary is quiet.[(((triple6) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule1)) -> rule8))] Anne is young.[(((((triple2) -> rule7)) -> rule4))] Charlie is quiet.[(((((triple4) -> rule6)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1))] Erin is quiet.[(((((triple5) -> rule6)) -> rule1))] Gary is blue.[(((((triple6) -> rule1)) -> rule8) OR ((((((triple7) -> rule6)) -> rule1)) -> rule8))] Gary is kind.[(((triple7 ((triple6) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule5))] @3: Anne is kind.[(((((((triple2) -> rule7)) -> rule4) ((triple1) -> rule1)) -> rule5) OR ((((((triple2) -> rule7)) -> rule4) ((((((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Charlie is blue.[(((((((triple4) -> rule6)) -> rule1)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1)) -> rule8))] Charlie is kind.[(((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((((((triple3) -> rule7)) -> rule4) ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((triple4 ((((((((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple3) -> rule7)) -> rule4) ((((((((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Erin is blue.[(((((((triple5) -> rule6)) -> rule1)) -> rule8))] Erin is kind.[(((triple5 ((((triple5) -> rule6)) -> rule1)) -> rule5))] Gary is smart.[(((((triple7 ((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3))] @4: Erin is smart.[(((((triple5 ((((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule3))] Gary is big.[(((((((triple7 ((triple6) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3)) -> rule7))] @5: Erin is big.[(((((((triple5 ((((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule3)) -> rule7))]