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