The cow chases the rabbit. The cow is cold. The rabbit visits the cow. If someone chases the rabbit and the rabbit chases the cow then they visit the cow. If someone visits the cow and the cow chases the rabbit then the cow visits the rabbit. If someone visits the rabbit then they visit the cow. If someone is young then they visit the cow. If the cow chases the rabbit and the cow is blue then the cow likes the rabbit. If someone chases the cow then they chase the rabbit.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone chases the rabbit and the rabbit chases the cow then they visit the cow.
((("someone" "chases" "rabbit" "+") ("rabbit" "chases" "cow" "+")) -> ("someone" "visits" "cow" "+"))
If someone visits the cow and the cow chases the rabbit then the cow visits the rabbit.
((("someone" "visits" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("cow" "visits" "rabbit" "+"))
If someone visits the rabbit then they visit the cow.
((("someone" "visits" "rabbit" "+")) -> ("someone" "visits" "cow" "+"))
If someone is young then they visit the cow.
((("someone" "is" "young" "+")) -> ("someone" "visits" "cow" "+"))
If the cow chases the rabbit and the cow is blue then the cow likes the rabbit.
((("cow" "chases" "rabbit" "+") ("cow" "is" "blue" "+")) -> ("cow" "likes" "rabbit" "+"))
If someone chases the cow then they chase the rabbit.
((("someone" "chases" "cow" "+")) -> ("someone" "chases" "rabbit" "+"))
The rabbit visits the cow.
True
1
proof
[(triple3)]
("rabbit" "visits" "cow" "+")
triple3
The cow does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "chases" "rabbit" "-")
triple1
The cow does not like the rabbit.
Unknown
inv-rconc
[@1: The cow likes the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "rabbit" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is cold.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The cow visits the rabbit.[(((triple3 triple1) -> rule2))] @2: The cow visits the cow.[(((((triple3 triple1) -> rule2)) -> rule3))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple3 triple1) -> (rule2 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2