Dave is red. Erin is round. Gary is nice. White things are furry. If something is red then it is young. All white, nice things are young. All nice things are red. If Dave is young then Dave is round. If something is nice then it is white. If something is round then it is furry. All white things are round.
Dave is furry.
@0: Dave is red.[(triple1)] Erin is round.[(triple2)] Gary is nice.[(triple3)] @1: Dave is young.[(((triple1) -> rule2))] Erin is furry.[(((triple2) -> rule7))] Gary is red.[(((triple3) -> rule4))] Gary is white.[(((triple3) -> rule6))] @2: Dave is round.[(((((triple1) -> rule2)) -> rule5))] Gary is furry.[(((((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule8)) -> rule7))] Gary is round.[(((((triple3) -> rule6)) -> rule8))] Gary is young.[(((((triple3) -> rule4)) -> rule2) OR ((((triple3) -> rule6) triple3) -> rule3))] @3: Dave is furry.[(((((((triple1) -> rule2)) -> rule5)) -> rule7))]