Dave is furry. Big people are red. If someone is blue and smart then they are furry. Red people are furry. All kind people are big. If Dave is smart and Dave is furry then Dave is red. If Dave is kind and Dave is smart then Dave is big. Kind people are smart. If someone is furry then they are smart.
Dave is furry.
@0: Dave is furry.[(triple1)] @1: Dave is smart.[(((triple1) -> rule8))] @2: Dave is red.[(((((triple1) -> rule8) triple1) -> rule5))]