Dave is cold. Dave is red. Dave is smart. Red people are round. All red, green people are big. Round, red people are green. If someone is round and green then they are red. If someone is white then they are smart. If someone is round and not red then they are smart.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] @1: Dave is round.[(((triple2) -> rule1))] @2: Dave is green.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Dave is big.[(((triple2 ((((triple2) -> rule1) triple2) -> rule3)) -> rule2))]