Bob is big. Dave is furry. Erin is white. Harry is kind. If Bob is red and Bob is furry then Bob is nice. All red, white things are cold. All nice, cold things are furry. Cold things are nice. Kind things are cold. Red things are big.
Harry is cold.
@0: Bob is big.[(triple1)] Dave is furry.[(triple2)] Erin is white.[(triple3)] Harry is kind.[(triple4)] @1: Harry is cold.[(((triple4) -> rule5))] @2: Harry is nice.[(((((triple4) -> rule5)) -> rule4))] @3: Harry is furry.[(((((((triple4) -> rule5)) -> rule4) ((triple4) -> rule5)) -> rule3))]