Bob is blue. Dave is furry. Harry is kind. If someone is big and blue then they are kind. All blue, big people are kind. If someone is blue then they are big. If someone is furry and not big then they are not smart. All kind people are not green. If Dave is big and Dave is smart then Dave is kind. If someone is kind and not rough then they are furry. If someone is blue and rough then they are furry.
Harry is not big.
@0: Bob is blue.[(triple1)] Dave is furry.[(triple2)] Harry is kind.[(triple3)] @1: Bob is big.[(((triple1) -> rule3))] Harry is not green.[(((triple3) -> rule5))] @2: Bob is kind.[(((triple1 ((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule1))] @3: Bob is not green.[(((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule3) triple1) -> rule1)) -> rule5))]