The cat needs the cow. The cow is cold. The rabbit visits the cat. If someone likes the cow then they visit the cat. If someone likes the cow then they do not visit the cat. If someone visits the rabbit then the rabbit is round. If someone is blue and green then they like the cat. If someone needs the cat then they are cold. If someone likes the rabbit then they do not like the cow. If someone likes the rabbit and they are not green then the rabbit needs the cat. If the rabbit does not visit the cat then the cat visits the cow.
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone likes the cow then they visit the cat.
((("someone" "likes" "cow" "+")) -> ("someone" "visits" "cat" "+"))
If someone likes the cow then they do not visit the cat.
((("someone" "likes" "cow" "+")) -> ("someone" "visits" "cat" "-"))
If someone visits the rabbit then the rabbit is round.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone is blue and green then they like the cat.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "cat" "+"))
If someone needs the cat then they are cold.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the rabbit then they do not like the cow.
((("someone" "likes" "rabbit" "+")) -> ("someone" "likes" "cow" "-"))
If someone likes the rabbit and they are not green then the rabbit needs the cat.
((("someone" "likes" "rabbit" "+") ("someone" "is" "green" "~")) -> ("rabbit" "needs" "cat" "+"))
If the rabbit does not visit the cat then the cat visits the cow.
((("rabbit" "visits" "cat" "~")) -> ("cat" "visits" "cow" "+"))
The rabbit visits the cat.
True
1
proof
[(triple3)]
("rabbit" "visits" "cat" "+")
triple3
The cow is not cold.
False
1
inv-proof
[(triple2)]
("cow" "is" "cold" "-")
triple2
The cow does not visit the cat.
Unknown
inv-rconc
[@1: The cow visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "cat" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
@0: The cat needs the cow.[(triple1)] The cow is cold.[(triple2)] The rabbit visits the cat.[(triple3)]
The cat needs the cow.
("cat" "needs" "cow" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple3