The cat is nice. The cat likes the dog. The cat visits the squirrel. The cow likes the cat. The cow sees the cat. The cow sees the dog. The dog likes the cat. The dog sees the squirrel. The dog visits the cat. The squirrel is green. The squirrel likes the dog. The squirrel visits the cat. All nice things are young. If something sees the dog then it is nice. If something likes the squirrel then the squirrel is big. If something visits the squirrel then it is young. If something sees the cat and it sees the squirrel then it visits the dog. If something is young then it likes the cow.
The cow does not like the cow.
@0: The cat is nice.[(triple1)] The cat likes the dog.[(triple2)] The cat visits the squirrel.[(triple3)] The cow likes the cat.[(triple4)] The cow sees the cat.[(triple5)] The cow sees the dog.[(triple6)] The dog likes the cat.[(triple7)] The dog sees the squirrel.[(triple8)] The dog visits the cat.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat is young.[(((triple1) -> rule1) OR ((triple3) -> rule4))] The cow is nice.[(((triple6) -> rule2))] @2: The cat likes the cow.[(((((triple1) -> rule1)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] The cow is young.[(((((triple6) -> rule2)) -> rule1))] @3: The cow likes the cow.[(((((((triple6) -> rule2)) -> rule1)) -> rule6))]