The cat does not chase the tiger. The cat eats the cow. The cat is big. The cat is round. The cat visits the cow. The cow chases the cat. The cow chases the tiger. The cow does not eat the cat. The cow visits the cat. The tiger does not eat the cat. The tiger visits the cat. The tiger visits the cow. If something eats the tiger and it visits the cow then it chases the tiger. If something is kind and it visits the cat then the cat does not visit the tiger. If something is green and it eats the cow then it is young.
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow does not eat the cat.
("cow" "eats" "cat" "-")
The cow visits the cat.
("cow" "visits" "cat" "+")
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something eats the tiger and it visits the cow then it chases the tiger.
((("something" "eats" "tiger" "+") ("something" "visits" "cow" "+")) -> ("something" "chases" "tiger" "+"))
If something is kind and it visits the cat then the cat does not visit the tiger.
((("something" "is" "kind" "+") ("something" "visits" "cat" "+")) -> ("cat" "visits" "tiger" "-"))
If something is green and it eats the cow then it is young.
((("something" "is" "green" "+") ("something" "eats" "cow" "+")) -> ("something" "is" "young" "+"))
The cow chases the tiger.
True
1
proof
[(triple7)]
("cow" "chases" "tiger" "+")
triple7
The tiger does not visit the cow.
False
1
inv-proof
[(triple12)]
("tiger" "visits" "cow" "-")
triple12
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "young" "-")
The cow eats the tiger.
Unknown
random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "+")
@0: The cat does not chase the tiger.[(triple1)] The cat eats the cow.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The cat visits the cow.[(triple5)] The cow chases the cat.[(triple6)] The cow chases the tiger.[(triple7)] The cow does not eat the cat.[(triple8)] The cow visits the cat.[(triple9)] The tiger does not eat the cat.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the cow.[(triple12)]
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple7
The cow does not eat the cat.
("cow" "eats" "cat" "-")
triple8
The cow visits the cat.
("cow" "visits" "cat" "+")
triple9
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
triple10
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12