The cow is not cold. The cow does not see the lion. The cow visits the lion. The dog likes the cow. The dog sees the squirrel. The dog visits the lion. The lion is round. The lion sees the cow. The lion sees the dog. The squirrel visits the lion. If the dog likes the lion and the lion likes the squirrel then the dog likes the squirrel. If someone likes the cow and the cow likes the dog then they visit the squirrel. If the dog visits the squirrel then the squirrel is young. If someone is young then they visit the dog. If someone sees the cow then the cow does not see the dog. If someone likes the dog and they are not cold then they like the squirrel. If someone visits the lion then they like the dog. If someone visits the dog and the dog likes the cow then the dog is round. If someone visits the lion and they do not see the dog then they visit the cow.
The cow visits the cow.
@0: The cow does not see the lion.[(triple2)] The cow is not cold.[(triple1)] The cow visits the lion.[(triple3)] The dog likes the cow.[(triple4)] The dog sees the squirrel.[(triple5)] The dog visits the lion.[(triple6)] The lion is round.[(triple7)] The lion sees the cow.[(triple8)] The lion sees the dog.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The cow does not see the dog.[(((triple8) -> rule5))] The cow likes the dog.[(((triple3) -> rule7))] The dog likes the dog.[(((triple6) -> rule7))] The squirrel likes the dog.[(((triple10) -> rule7))] @2: The cow likes the squirrel.[(((((triple3) -> rule7) triple1) -> rule6))] The cow visits the cow.[(((triple3 ((triple8) -> rule5)) -> rule9))] The dog visits the squirrel.[(((triple4 ((triple3) -> rule7)) -> rule2))] @3: The squirrel is young.[(((((triple4 ((triple3) -> rule7)) -> rule2)) -> rule3))] @4: The squirrel visits the dog.[(((((((triple4 ((triple3) -> rule7)) -> rule2)) -> rule3)) -> rule4))] @5: The dog is round.[(((((((((triple4 ((triple3) -> rule7)) -> rule2)) -> rule3)) -> rule4) triple4) -> rule8))]