Bob is quiet. Dave is young. Fiona is not blue. Harry is round. All red people are young. All young people are white. All young people are white. Quiet people are red. If someone is young and not blue then they are not round. If someone is blue and not white then they are round.
Dave is cold.
@0: Bob is quiet.[(triple1)] Dave is young.[(triple2)] Fiona is not blue.[(triple3)] Harry is round.[(triple4)] @1: Bob is red.[(((triple1) -> rule4))] Dave is white.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: Bob is young.[(((((triple1) -> rule4)) -> rule1))] @3: Bob is white.[(((((((triple1) -> rule4)) -> rule1)) -> rule2) OR ((((((triple1) -> rule4)) -> rule1)) -> rule3))]