Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Dave is blue. Erin is green. Erin is young. All kind, young people are round. If someone is young and round then they are red. If Dave is green and Dave is round then Dave is furry. Red people are young. All blue, round people are red. All young people are kind. Round people are red. Green people are blue.
Dave is not red.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule8))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((((triple4) -> rule4)) -> rule6))] Charlie is red.[(triple4)] Dave is blue.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)] @1: Charlie is young.[(((triple4) -> rule4))] Erin is blue.[(((triple6) -> rule8))] Erin is kind.[(((triple7) -> rule6))] @2: Charlie is round.[(((triple3 ((triple4) -> rule4)) -> rule1) OR ((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule1))] Erin is round.[(((((triple7) -> rule6) triple7) -> rule1))] @3: Erin is red.[(((((((triple7) -> rule6) triple7) -> rule1)) -> rule7) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule1)) -> rule2) OR ((((triple6) -> rule8) ((((triple7) -> rule6) triple7) -> rule1)) -> rule5))]