The cat is blue. The cat is cold. The cat sees the dog. The cow chases the cat. The cow chases the dog. The cow is green. The cow likes the cat. The dog is not green. The dog does not like the cow. The dog sees the cat. The lion chases the cat. The lion chases the cow. The lion sees the cat. The lion does not see the cow. The lion sees the dog. If someone chases the lion then the lion likes the cat. If the dog likes the lion then the lion is blue. If someone chases the dog then the dog sees the lion. If the cat sees the dog then the cat is green. If someone is green and they like the cat then they like the lion. If someone is blue and big then they like the cow. If someone likes the cow then they are blue. If someone likes the dog and they do not like the lion then the lion is big.
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog sees the cat.
("dog" "sees" "cat" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion does not see the cow.
("lion" "sees" "cow" "-")
The lion sees the dog.
("lion" "sees" "dog" "+")
If someone chases the lion then the lion likes the cat.
((("someone" "chases" "lion" "+")) -> ("lion" "likes" "cat" "+"))
If the dog likes the lion then the lion is blue.
((("dog" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If someone chases the dog then the dog sees the lion.
((("someone" "chases" "dog" "+")) -> ("dog" "sees" "lion" "+"))
If the cat sees the dog then the cat is green.
((("cat" "sees" "dog" "+")) -> ("cat" "is" "green" "+"))
If someone is green and they like the cat then they like the lion.
((("someone" "is" "green" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "lion" "+"))
If someone is blue and big then they like the cow.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the cow then they are blue.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the dog and they do not like the lion then the lion is big.
((("someone" "likes" "dog" "+") ("someone" "likes" "lion" "~")) -> ("lion" "is" "big" "+"))
The lion chases the cow.
True
1
proof
[(triple12)]
("lion" "chases" "cow" "+")
triple12
The cat is not cold.
False
1
inv-proof
[(triple2)]
("cat" "is" "cold" "-")
triple2
The cow is not blue.
Unknown
inv-rconc
[@2: The cow is blue.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("cow" "is" "blue" "-")
The dog chases the cat.
Unknown
random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat sees the dog.[(triple3)] The cow chases the cat.[(triple4)] The cow chases the dog.[(triple5)] The cow is green.[(triple6)] The cow likes the cat.[(triple7)] The dog does not like the cow.[(triple9)] The dog is not green.[(triple8)] The dog sees the cat.[(triple10)] The lion chases the cat.[(triple11)] The lion chases the cow.[(triple12)] The lion does not see the cow.[(triple14)] The lion sees the cat.[(triple13)] The lion sees the dog.[(triple15)] @1: The cat is green.[(((triple3) -> rule4))] The cow likes the lion.[(((triple6 triple7) -> rule5))] The dog sees the lion.[(((triple5) -> rule3))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat sees the dog.
("cat" "sees" "dog" "+")
triple3
The cow chases the cat.
("cow" "chases" "cat" "+")
triple4
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple9
The dog is not green.
("dog" "is" "green" "-")
triple8
The dog sees the cat.
("dog" "sees" "cat" "+")
triple10
The lion chases the cat.
("lion" "chases" "cat" "+")
triple11
The lion chases the cow.
("lion" "chases" "cow" "+")
triple12
The lion does not see the cow.
("lion" "sees" "cow" "-")
triple14
The lion sees the cat.
("lion" "sees" "cat" "+")
triple13
The lion sees the dog.
("lion" "sees" "dog" "+")
triple15
The cat is green.
("cat" "is" "green" "+")
((triple3) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
((triple6 triple7) -> (rule5 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
((triple5) -> (rule3 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1