The cat visits the cow. The cow chases the lion. The cow chases the tiger. The cow is blue. The cow is kind. The cow is round. The cow likes the cat. The lion is round. The tiger chases the cat. The tiger is blue. The tiger is round. The tiger visits the lion. If the cat likes the tiger and the cat chases the cow then the cat is young. If someone chases the cat and they chase the tiger then the tiger likes the cow. If someone chases the lion then they are round.
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The lion is round.
("lion" "is" "round" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If the cat likes the tiger and the cat chases the cow then the cat is young.
((("cat" "likes" "tiger" "+") ("cat" "chases" "cow" "+")) -> ("cat" "is" "young" "+"))
If someone chases the cat and they chase the tiger then the tiger likes the cow.
((("someone" "chases" "cat" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
If someone chases the lion then they are round.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "round" "+"))
The cow is blue.
True
1
proof
[(triple4)]
("cow" "is" "blue" "+")
triple4
The cat does not visit the cow.
False
1
inv-proof
[(triple1)]
("cat" "visits" "cow" "-")
triple1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "round" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
@0: The cat visits the cow.[(triple1)] The cow chases the lion.[(triple2)] The cow chases the tiger.[(triple3)] The cow is blue.[(triple4)] The cow is kind.[(triple5)] The cow is round.[(triple6 OR ((triple2) -> rule3))] The cow likes the cat.[(triple7)] The lion is round.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is blue.[(triple10)] The tiger is round.[(triple11)] The tiger visits the lion.[(triple12)]
The cat visits the cow.
("cat" "visits" "cow" "+")
triple1
The cow chases the lion.
("cow" "chases" "lion" "+")
triple2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
((triple2) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12