The cow does not like the dog. The cow visits the rabbit. The dog likes the rabbit. The dog sees the cow. The rabbit visits the dog. The tiger is not cold. The tiger likes the dog. The tiger sees the dog. The tiger visits the cow. The tiger visits the dog. If the rabbit likes the cow and the cow visits the tiger then the cow is round. If something is cold and it visits the dog then it sees the tiger. If the cow is cold then the cow is red. If the dog visits the tiger and the tiger does not see the dog then the tiger does not like the cow. All cold things are big. If something is round then it visits the rabbit. If something is red then it is round. If something is round and it does not see the tiger then it is red.
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the rabbit likes the cow and the cow visits the tiger then the cow is round.
((("rabbit" "likes" "cow" "+") ("cow" "visits" "tiger" "+")) -> ("cow" "is" "round" "+"))
If something is cold and it visits the dog then it sees the tiger.
((("something" "is" "cold" "+") ("something" "visits" "dog" "+")) -> ("something" "sees" "tiger" "+"))
If the cow is cold then the cow is red.
((("cow" "is" "cold" "+")) -> ("cow" "is" "red" "+"))
If the dog visits the tiger and the tiger does not see the dog then the tiger does not like the cow.
((("dog" "visits" "tiger" "+") ("tiger" "sees" "dog" "~")) -> ("tiger" "likes" "cow" "-"))
All cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is round then it visits the rabbit.
((("something" "is" "round" "+")) -> ("something" "visits" "rabbit" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is round and it does not see the tiger then it is red.
((("something" "is" "round" "+") ("something" "sees" "tiger" "~")) -> ("something" "is" "red" "+"))
The tiger likes the dog.
True
1
proof
[(triple7)]
("tiger" "likes" "dog" "+")
triple7
The tiger does not visit the dog.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "dog" "-")
triple10
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "big" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow does not like the dog.[(triple1)] The cow visits the rabbit.[(triple2)] The dog likes the rabbit.[(triple3)] The dog sees the cow.[(triple4)] The rabbit visits the dog.[(triple5)] The tiger is not cold.[(triple6)] The tiger likes the dog.[(triple7)] The tiger sees the dog.[(triple8)] The tiger visits the cow.[(triple9)] The tiger visits the dog.[(triple10)]
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple2
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple3
The dog sees the cow.
("dog" "sees" "cow" "+")
triple4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple5
The tiger is not cold.
("tiger" "is" "cold" "-")
triple6
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple7
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple8
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple9
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple10