Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is blue. Dave is kind. Dave is red. Dave is white. Erin is blue. Erin is red. Kind, red people are white. Smart people are kind. Kind people are big. All big, smart people are white. Red people are smart. All big people are nice.
Erin is not big.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3) OR ((((((triple4) -> rule5)) -> rule2)) -> rule3))] Charlie is kind.[(triple2 OR ((((triple4) -> rule5)) -> rule2))] Charlie is nice.[(triple3 OR ((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((((((triple4) -> rule5)) -> rule2)) -> rule3)) -> rule6))] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple1 ((triple4) -> rule5)) -> rule4) OR ((((triple2) -> rule3) ((triple4) -> rule5)) -> rule4) OR ((((((triple4) -> rule5)) -> rule2) triple4) -> rule1) OR ((((((((triple4) -> rule5)) -> rule2)) -> rule3) ((triple4) -> rule5)) -> rule4))] Dave is big.[(triple6 OR ((triple8) -> rule3) OR ((((((triple9) -> rule5)) -> rule2)) -> rule3))] Dave is blue.[(triple7)] Dave is kind.[(triple8 OR ((((triple9) -> rule5)) -> rule2))] Dave is red.[(triple9)] Dave is white.[(triple10 OR ((triple8 triple9) -> rule1) OR ((triple6 ((triple9) -> rule5)) -> rule4) OR ((((triple8) -> rule3) ((triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule5)) -> rule2) triple9) -> rule1) OR ((((((((triple9) -> rule5)) -> rule2)) -> rule3) ((triple9) -> rule5)) -> rule4))] Erin is blue.[(triple11)] Erin is red.[(triple12)] @1: Charlie is smart.[(((triple4) -> rule5))] Dave is nice.[(((triple6) -> rule6) OR ((((triple8) -> rule3)) -> rule6) OR ((((((((triple9) -> rule5)) -> rule2)) -> rule3)) -> rule6))] Dave is smart.[(((triple9) -> rule5))] Erin is smart.[(((triple12) -> rule5))] @2: Erin is kind.[(((((triple12) -> rule5)) -> rule2))] @3: Erin is big.[(((((((triple12) -> rule5)) -> rule2)) -> rule3))] Erin is white.[(((((((triple12) -> rule5)) -> rule2) triple12) -> rule1) OR ((((((((triple12) -> rule5)) -> rule2)) -> rule3) ((triple12) -> rule5)) -> rule4))] @4: Erin is nice.[(((((((((triple12) -> rule5)) -> rule2)) -> rule3)) -> rule6))]