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.
Bob is red.
@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))]