Bob is quiet. Dave is blue. Dave is quiet. Fiona is green. Fiona is quiet. Fiona is red. Fiona is young. If Bob is quiet then Bob is cold. All cold things are young. All young things are red.
Dave is not nice.
@0: Bob is quiet.[(triple1)] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] Fiona is green.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple7) -> rule3))] Fiona is young.[(triple7)] @1: Bob is cold.[(((triple1) -> rule1))] @2: Bob is young.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]