Bob is blue. Dave is red. Fiona is green. If Bob is white and Bob is quiet then Bob is red. White people are red. If someone is red then they are green. If someone is round then they are green. If someone is blue then they are white. If someone is round then they are white. Quiet people are nice. If Dave is round then Dave is green.
Bob is quiet.
@0: Bob is blue.[(triple1)] Dave is red.[(triple2)] Fiona is green.[(triple3)] @1: Bob is white.[(((triple1) -> rule5))] Dave is green.[(((triple2) -> rule3))] @2: Bob is red.[(((((triple1) -> rule5)) -> rule2))] @3: Bob is green.[(((((((triple1) -> rule5)) -> rule2)) -> rule3))]