Dave is red. Dave is young. Erin is young. All white, red things are rough. All white things are rough. Green things are white. If something is rough and big then it is young. Young things are furry. All big, red things are white. All furry things are big. Big, young things are rough.
Dave is not young.
@0: Dave is red.[(triple1)] Dave is young.[(triple2)] Erin is young.[(triple3)] @1: Dave is furry.[(((triple2) -> rule5))] Erin is furry.[(((triple3) -> rule5))] @2: Dave is big.[(((((triple2) -> rule5)) -> rule7))] Erin is big.[(((((triple3) -> rule5)) -> rule7))] @3: Dave is rough.[(((((((triple2) -> rule5)) -> rule7) triple2) -> rule8) OR ((((((((triple2) -> rule5)) -> rule7) triple1) -> rule6)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7) triple1) -> rule6) triple1) -> rule1))] Dave is white.[(((((((triple2) -> rule5)) -> rule7) triple1) -> rule6))] Erin is rough.[(((((((triple3) -> rule5)) -> rule7) triple3) -> rule8))]