The dog likes the squirrel. The rabbit likes the squirrel. The squirrel is rough. All rough people are blue.
The squirrel does not see the rabbit.
@0: The dog likes the squirrel.[(triple1)] The rabbit likes the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The squirrel is blue.[(((triple3) -> rule1))]