Bob is furry. Dave is kind. Gary is quiet. Nice things are rough. If Gary is nice and Gary is rough then Gary is kind. Rough things are blue. If Dave is quiet and Dave is big then Dave is rough. If something is kind then it is nice. If Gary is quiet and Gary is rough then Gary is furry.
Bob is kind.
@0: Bob is furry.[(triple1)] Dave is kind.[(triple2)] Gary is quiet.[(triple3)] @1: Dave is nice.[(((triple2) -> rule5))] @2: Dave is rough.[(((((triple2) -> rule5)) -> rule1))] @3: Dave is blue.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))]