The bear is nice. The cow likes the lion. The dog chases the bear. The lion is kind. All nice things are rough. If something is rough then it likes the dog. If the lion chases the bear then the lion is cold.
The lion is not cold.
@0: The bear is nice.[(triple1)] The cow likes the lion.[(triple2)] The dog chases the bear.[(triple3)] The lion is kind.[(triple4)] @1: The bear is rough.[(((triple1) -> rule1))] @2: The bear likes the dog.[(((((triple1) -> rule1)) -> rule2))]