Bob is not nice. Dave is young. Harry is blue. All blue people are not nice. If Harry is young then Harry is not kind. All red, young people are furry. If someone is red and not blue then they are kind. If someone is nice and not young then they are kind. If Harry is nice then Harry is red. If Harry is not nice then Harry is red. Red people are big.
Dave is red.
@0: Bob is not nice.[(triple1)] Dave is young.[(triple2)] Harry is blue.[(triple3)] @1: Harry is not nice.[(((triple3) -> rule1))] @2: Harry is red.[(((((triple3) -> rule1)) -> rule7))] @3: Harry is big.[(((((((triple3) -> rule1)) -> rule7)) -> rule8))]