Bob is round. Charlie is smart. Fiona is young. If Bob is round and Bob is white then Bob is cold. If something is round then it is white. Young, red things are round. If something is cold then it is young. Blue, round things are smart. If something is young and blue then it is white. Cold, young things are red. Red, blue things are cold.
Bob is not young.
@0: Bob is round.[(triple1)] Charlie is smart.[(triple2)] Fiona is young.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] @2: Bob is cold.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: Bob is young.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4))] @4: Bob is red.[(((((triple1 ((triple1) -> rule2)) -> rule1) ((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule7))]