Anne is big. Bob is furry. Harry is red. All cold, round things are big. If Bob is white and Bob is red then Bob is furry. Red, cold things are furry. If Harry is white then Harry is furry. If something is furry then it is big. If something is green then it is white. Cold things are red. All red things are big.
Bob is furry.
@0: Anne is big.[(triple1)] Bob is furry.[(triple2)] Harry is red.[(triple3)] @1: Bob is big.[(((triple2) -> rule5))] Harry is big.[(((triple3) -> rule8))]