Dave is cold. Dave is nice. Dave is rough. Quiet things are nice. All cold, smart things are red. All nice, rough things are red. Rough things are nice. Nice, quiet things are cold. All quiet things are rough.
Dave is nice.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2 OR ((triple3) -> rule4))] Dave is rough.[(triple3)] @1: Dave is red.[(((triple2 triple3) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule3))]