Bob is kind. Bob is round. Charlie is rough. Erin is green. Erin is rough. Erin is round. Gary is cold. All rough people are green. If someone is green then they are white. If someone is white then they are not big. If someone is green and not big then they are kind. If someone is kind and not big then they are round.
Charlie is not kind.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Charlie is rough.[(triple3)] Erin is green.[(triple4 OR ((triple5) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((((triple4 ((((triple4) -> rule2)) -> rule3)) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((((triple4) -> rule2)) -> rule3)) -> rule4) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule4) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5))] Gary is cold.[(triple7)] @1: Charlie is green.[(((triple3) -> rule1))] Erin is white.[(((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] @2: Charlie is white.[(((((triple3) -> rule1)) -> rule2))] Erin is not big.[(((((triple4) -> rule2)) -> rule3) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] @3: Charlie is not big.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))] Erin is kind.[(((triple4 ((((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple5) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule4) OR ((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4) OR ((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4))] @4: Charlie is kind.[(((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule3)) -> rule4))] @5: Charlie is round.[(((((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule3)) -> rule4) ((((((triple3) -> rule1)) -> rule2)) -> rule3)) -> rule5))]