Anne is big. Bob is quiet. Charlie is green. Harry is cold. If Charlie is young then Charlie is green. If someone is big and quiet then they are red. Red people are cold. If Anne is young then Anne is quiet. Quiet people are green. Furry people are cold.
Harry is not cold.
@0: Anne is big.[(triple1)] Bob is quiet.[(triple2)] Charlie is green.[(triple3)] Harry is cold.[(triple4)] @1: Bob is green.[(((triple2) -> rule5))]