Bob is furry. Dave is furry. Erin is rough. Harry is young. Kind things are not green. If something is furry and green then it is rough. If something is furry then it is rough. If something is kind and young then it is rough. Rough things are kind. If something is white then it is kind.
Harry is not rough.
@0: Bob is furry.[(triple1)] Dave is furry.[(triple2)] Erin is rough.[(triple3)] Harry is young.[(triple4)] @1: Bob is rough.[(((triple1) -> rule3))] Dave is rough.[(((triple2) -> rule3))] Erin is kind.[(((triple3) -> rule5))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule5))] Dave is kind.[(((((triple2) -> rule3)) -> rule5))] Erin is not green.[(((((triple3) -> rule5)) -> rule1))] @3: Bob is not green.[(((((((triple1) -> rule3)) -> rule5)) -> rule1))] Dave is not green.[(((((((triple2) -> rule3)) -> rule5)) -> rule1))]