The cat chases the cow. The cat chases the dog. The cat is cold. The cow chases the dog. The cow is cold. The cow is round. The cow likes the cat. The cow likes the dog. The cow sees the dog. The dog likes the cow. If something sees the cat and the cat is rough then it sees the cow. If something is nice then it likes the cat.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If something sees the cat and the cat is rough then it sees the cow.
((("something" "sees" "cat" "+") ("cat" "is" "rough" "+")) -> ("something" "sees" "cow" "+"))
If something is nice then it likes the cat.
((("something" "is" "nice" "+")) -> ("something" "likes" "cat" "+"))
The cat chases the cow.
True
1
proof
[(triple1)]
("cat" "chases" "cow" "+")
triple1
The cat does not chase the cow.
False
1
inv-proof
[(triple1)]
("cat" "chases" "cow" "-")
triple1
The dog does not like the cat.
Unknown
inv-rconc
[@1: The dog likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "cat" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the dog.[(triple2)] The cat is cold.[(triple3)] The cow chases the dog.[(triple4)] The cow is cold.[(triple5)] The cow is round.[(triple6)] The cow likes the cat.[(triple7)] The cow likes the dog.[(triple8)] The cow sees the dog.[(triple9)] The dog likes the cow.[(triple10)]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the dog.
("cat" "chases" "dog" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cow chases the dog.
("cow" "chases" "dog" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The cow likes the dog.
("cow" "likes" "dog" "+")
triple8
The cow sees the dog.
("cow" "sees" "dog" "+")
triple9
The dog likes the cow.
("dog" "likes" "cow" "+")
triple10