Bob is cold. Charlie is nice. Dave is smart. All nice, smart things are rough. Big things are cold. All red, rough things are big. Rough, nice things are red. If something is big and rough then it is green. All nice things are green. All nice things are big. Cold, big things are red.
Bob is not nice.
@0: Bob is cold.[(triple1)] Charlie is nice.[(triple2)] Dave is smart.[(triple3)] @1: Charlie is big.[(((triple2) -> rule7))] Charlie is green.[(((triple2) -> rule6))] @2: Charlie is cold.[(((((triple2) -> rule7)) -> rule2))] @3: Charlie is red.[(((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8))]