Dave is green. Erin is red. Harry is red. Green people are young. If Harry is smart and Harry is white then Harry is round. If Dave is rough then Dave is round. Red people are green. If Harry is smart then Harry is red. All young people are round. All green, smart people are young. If someone is smart and green then they are rough.
Dave is round.
@0: Dave is green.[(triple1)] Erin is red.[(triple2)] Harry is red.[(triple3)] @1: Dave is young.[(((triple1) -> rule1))] Erin is green.[(((triple2) -> rule4))] Harry is green.[(((triple3) -> rule4))] @2: Dave is round.[(((((triple1) -> rule1)) -> rule6))] Erin is young.[(((((triple2) -> rule4)) -> rule1))] Harry is young.[(((((triple3) -> rule4)) -> rule1))] @3: Erin is round.[(((((((triple2) -> rule4)) -> rule1)) -> rule6))] Harry is round.[(((((((triple3) -> rule4)) -> rule1)) -> rule6))]