Anne is kind. Anne is rough. Bob is green. Bob is kind. Bob is rough. Bob is young. Dave is nice. Erin is green. Erin is rough. Erin is young. All green things are big. If Anne is rough then Anne is white. If Anne is kind and Anne is green then Anne is big. If something is rough then it is kind. If something is big and rough then it is white. All rough, kind things are big. If something is white and big then it is nice. All green things are young.
Erin is white.
@0: Anne is kind.[(triple1 OR ((triple2) -> rule4))] Anne is rough.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple5) -> rule4))] Bob is rough.[(triple5)] Bob is young.[(triple6 OR ((triple3) -> rule8))] Dave is nice.[(triple7)] Erin is green.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10 OR ((triple8) -> rule8))] @1: Anne is big.[(((triple2 triple1) -> rule6) OR ((triple2 ((triple2) -> rule4)) -> rule6))] Anne is white.[(((triple2) -> rule2) OR ((((triple2 triple1) -> rule6) triple2) -> rule5) OR ((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5))] Bob is big.[(((triple3) -> rule1) OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple5) -> rule4)) -> rule6))] Erin is big.[(((triple8) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule6))] Erin is kind.[(((triple9) -> rule4))] @2: Anne is nice.[(((((triple2) -> rule2) ((triple2 triple1) -> rule6)) -> rule7) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule6) triple2) -> rule5) ((triple2 triple1) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule6) triple2) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5) ((triple2 triple1) -> rule6)) -> rule7) OR ((((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7))] Bob is white.[(((((triple3) -> rule1) triple5) -> rule5) OR ((((triple5 triple4) -> rule6) triple5) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5))] Erin is white.[(((((triple8) -> rule1) triple9) -> rule5) OR ((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5))] @3: Bob is nice.[(((((((triple3) -> rule1) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple3) -> rule1) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple3) -> rule1) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7))] Erin is nice.[(((((((triple8) -> rule1) triple9) -> rule5) ((triple8) -> rule1)) -> rule7) OR ((((((triple8) -> rule1) triple9) -> rule5) ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule7) OR ((((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5) ((triple8) -> rule1)) -> rule7) OR ((((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5) ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule7))]