The dog eats the rabbit. The dog likes the rabbit. The dog visits the squirrel. The rabbit does not eat the dog. The rabbit is big. The rabbit does not like the dog. The squirrel eats the dog. The squirrel eats the rabbit. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel likes the dog. The squirrel likes the rabbit. The squirrel visits the dog. The squirrel visits the rabbit. If something is big and round then it visits the rabbit. If something is rough and it visits the rabbit then the rabbit likes the squirrel. If the dog likes the rabbit then the dog is round.
The squirrel is green.
@0: The dog eats the rabbit.[(triple1)] The dog likes the rabbit.[(triple2)] The dog visits the squirrel.[(triple3)] The rabbit does not eat the dog.[(triple4)] The rabbit does not like the dog.[(triple6)] The rabbit is big.[(triple5)] The squirrel eats the dog.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the dog.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The dog is round.[(((triple2) -> rule3))] The rabbit likes the squirrel.[(((triple10 triple15) -> rule2))]