Anne is kind. Bob is red. Gary is not red. Harry is not kind. Cold things are furry. All nice things are furry. If Harry is red then Harry is nice. All red, nice things are cold. If something is red then it is cold. If Bob is not cold then Bob is kind.
Bob is green.
@0: Anne is kind.[(triple1)] Bob is red.[(triple2)] Gary is not red.[(triple3)] Harry is not kind.[(triple4)] @1: Bob is cold.[(((triple2) -> rule5))] @2: Bob is furry.[(((((triple2) -> rule5)) -> rule1))]