Bob is young. Dave is rough. Erin is green. If something is red and kind then it is young. All nice, rough things are furry. All red things are kind. All red, kind things are furry. Kind things are young. If something is nice then it is young. All young things are red. All red things are furry.
Erin is not green.
@0: Bob is young.[(triple1)] Dave is rough.[(triple2)] Erin is green.[(triple3)] @1: Bob is red.[(((triple1) -> rule7))] @2: Bob is furry.[(((((triple1) -> rule7)) -> rule8) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule4))] Bob is kind.[(((((triple1) -> rule7)) -> rule3))]