The dog is round. The dog likes the rabbit. The dog visits the rabbit. The rabbit is big. The rabbit is rough. The rabbit likes the dog. The rabbit likes the squirrel. The rabbit sees the squirrel. The rabbit visits the dog. The squirrel is cold. The squirrel is nice. The squirrel likes the rabbit. If someone visits the dog then the dog does not like the squirrel. If someone visits the dog then the dog visits the squirrel. If someone visits the squirrel and they do not like the squirrel then the squirrel does not see the dog.
The dog visits the rabbit.
@0: The dog is round.[(triple1)] The dog likes the rabbit.[(triple2)] The dog visits the rabbit.[(triple3)] The rabbit is big.[(triple4)] The rabbit is rough.[(triple5)] The rabbit likes the dog.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The rabbit visits the dog.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11)] The squirrel likes the rabbit.[(triple12)] @1: The dog does not like the squirrel.[(((triple9) -> rule1))] The dog visits the squirrel.[(((triple9) -> rule2))] @2: The squirrel does not see the dog.[(((((triple9) -> rule2) ((triple9) -> rule1)) -> rule3))]