Anne is big. Bob is cold. Bob is quiet. Harry is big. Harry is blue. Harry is quiet. Harry is rough. If something is furry then it is big. Blue things are white.
Anne is quiet.
@0: Anne is big.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Harry is white.[(((triple5) -> rule2))]