Anne is quiet. Bob is blue. Fiona is green. Quiet, big people are furry. If someone is big and green then they are blue. If Fiona is round and Fiona is furry then Fiona is red. If Bob is quiet then Bob is big. If someone is quiet then they are blue. If someone is furry and green then they are blue.
Bob is not blue.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Fiona is green.[(triple3)] @1: Anne is blue.[(((triple1) -> rule5))]