Bob is red. Charlie is cold. Dave is red. Fiona is big. All red things are young. If something is red and young then it is white. Big, red things are young.
Charlie is not young.
@0: Bob is red.[(triple1)] Charlie is cold.[(triple2)] Dave is red.[(triple3)] Fiona is big.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Dave is young.[(((triple3) -> rule1))] @2: Bob is white.[(((triple1 ((triple1) -> rule1)) -> rule2))] Dave is white.[(((triple3 ((triple3) -> rule1)) -> rule2))]