Charlie is rough. Dave is rough. Erin is not blue. Harry is young. Nice people are furry. Green people are furry. Young, furry people are white. Young people are nice. If someone is nice and rough then they are green. All rough people are young.
Dave is blue.
@0: Charlie is rough.[(triple1)] Dave is rough.[(triple2)] Erin is not blue.[(triple3)] Harry is young.[(triple4)] @1: Charlie is young.[(((triple1) -> rule6))] Dave is young.[(((triple2) -> rule6))] Harry is nice.[(((triple4) -> rule4))] @2: Charlie is nice.[(((((triple1) -> rule6)) -> rule4))] Dave is nice.[(((((triple2) -> rule6)) -> rule4))] Harry is furry.[(((((triple4) -> rule4)) -> rule1))] @3: Charlie is furry.[(((((((triple1) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule4) triple1) -> rule5)) -> rule2))] Charlie is green.[(((((((triple1) -> rule6)) -> rule4) triple1) -> rule5))] Dave is furry.[(((((((triple2) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule6)) -> rule4) triple2) -> rule5)) -> rule2))] Dave is green.[(((((((triple2) -> rule6)) -> rule4) triple2) -> rule5))] Harry is white.[(((triple4 ((((triple4) -> rule4)) -> rule1)) -> rule3))] @4: Charlie is white.[(((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule4)) -> rule1)) -> rule3) OR ((((triple1) -> rule6) ((((((((triple1) -> rule6)) -> rule4) triple1) -> rule5)) -> rule2)) -> rule3))] Dave is white.[(((((triple2) -> rule6) ((((((triple2) -> rule6)) -> rule4)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((((((triple2) -> rule6)) -> rule4) triple2) -> rule5)) -> rule2)) -> rule3))]