The cow is big. The cow is red. The cow sees the dog. The cow visits the squirrel. The dog eats the cow. The dog eats the lion. The dog sees the cow. The lion eats the cow. The lion eats the dog. The lion sees the cow. The lion sees the dog. The squirrel eats the cow. The squirrel eats the dog. The squirrel eats the lion. The squirrel sees the dog. If something is red and it sees the dog then the dog visits the lion. If the squirrel sees the lion then the squirrel visits the lion. If the dog sees the cow then the dog visits the cow. If something is red then it is rough. If something sees the lion and the lion visits the dog then the dog is young. If something visits the cow then it is red.
The squirrel is rough.
@0: The cow is big.[(triple1)] The cow is red.[(triple2)] The cow sees the dog.[(triple3)] The cow visits the squirrel.[(triple4)] The dog eats the cow.[(triple5)] The dog eats the lion.[(triple6)] The dog sees the cow.[(triple7)] The lion eats the cow.[(triple8)] The lion eats the dog.[(triple9)] The lion sees the cow.[(triple10)] The lion sees the dog.[(triple11)] The squirrel eats the cow.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel eats the lion.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The cow is rough.[(((triple2) -> rule4))] The dog visits the cow.[(((triple7) -> rule3))] The dog visits the lion.[(((triple2 triple3) -> rule1))] @2: The dog is red.[(((((triple7) -> rule3)) -> rule6))] @3: The dog is rough.[(((((((triple7) -> rule3)) -> rule6)) -> rule4))]