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