Bob is nice. Dave is smart. Erin is nice. Gary is rough. If Dave is smart then Dave is green. Smart, green people are big. All quiet people are furry. All quiet, green people are furry. Big, quiet people are smart. If someone is big then they are quiet.
Gary is not green.
@0: Bob is nice.[(triple1)] Dave is smart.[(triple2)] Erin is nice.[(triple3)] Gary is rough.[(triple4)] @1: Dave is green.[(((triple2) -> rule1))] @2: Dave is big.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Dave is quiet.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6))] @4: Dave is furry.[(((((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6) ((triple2) -> rule1)) -> rule4))]