The bear likes the rabbit. The bear visits the rabbit. The bear visits the squirrel. The rabbit is blue. The rabbit likes the squirrel. The squirrel is rough. The squirrel likes the bear. If something likes the squirrel then it sees the rabbit. If something is red and it visits the squirrel then it likes the rabbit.
The bear is red.
@0: The bear likes the rabbit.[(triple1)] The bear visits the rabbit.[(triple2)] The bear visits the squirrel.[(triple3)] The rabbit is blue.[(triple4)] The rabbit likes the squirrel.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The rabbit sees the rabbit.[(((triple5) -> rule1))]