Bob is furry. Dave is round. Erin is nice. Round, white people are furry. If Bob is round then Bob is rough. If someone is nice and white then they are round. If someone is round then they are green. All rough people are nice. All green people are rough. If someone is nice and smart then they are round. If someone is nice and rough then they are smart.
Dave is not green.
@0: Bob is furry.[(triple1)] Dave is round.[(triple2)] Erin is nice.[(triple3)] @1: Dave is green.[(((triple2) -> rule4))] @2: Dave is rough.[(((((triple2) -> rule4)) -> rule6))] @3: Dave is nice.[(((((((triple2) -> rule4)) -> rule6)) -> rule5))] @4: Dave is smart.[(((((((((triple2) -> rule4)) -> rule6)) -> rule5) ((((triple2) -> rule4)) -> rule6)) -> rule8))]