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