Bob is big. Dave is young. Fiona is quiet. All red things are big. If something is quiet and young then it is white. If something is white and not big then it is young. If something is quiet then it is young. If something is round and not white then it is not cold. Round things are not cold.
Bob is big.
@0: Bob is big.[(triple1)] Dave is young.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is young.[(((triple3) -> rule4))] @2: Fiona is white.[(((triple3 ((triple3) -> rule4)) -> rule2))]