The cow is round. The dog likes the squirrel. The squirrel is kind. Round things are cold. If something is cold then it visits the cow. If something needs the squirrel and it does not like the dog then the dog does not like the cow. If something is young and it needs the dog then it needs the squirrel. If something visits the squirrel then the squirrel likes the cow. If something visits the dog then the dog is not kind.
The cow is cold.
@0: The cow is round.[(triple1)] The dog likes the squirrel.[(triple2)] The squirrel is kind.[(triple3)] @1: The cow is cold.[(((triple1) -> rule1))] @2: The cow visits the cow.[(((((triple1) -> rule1)) -> rule2))]