Bob is furry. Dave is big. Erin is kind. Harry is green. If someone is big and blue then they are rough. If Harry is green and Harry is furry then Harry is cold. All rough people are big. All furry, big people are kind. If someone is furry then they are big. If someone is furry and kind then they are green. All green people are big. All kind, rough people are big.
Bob is not cold.
@0: Bob is furry.[(triple1)] Dave is big.[(triple2)] Erin is kind.[(triple3)] Harry is green.[(triple4)] @1: Bob is big.[(((triple1) -> rule5))] Harry is big.[(((triple4) -> rule7))] @2: Bob is kind.[(((triple1 ((triple1) -> rule5)) -> rule4))] @3: Bob is green.[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule4)) -> rule6))]