The cow likes the rabbit. The dog sees the cow. The rabbit sees the cow. If something is rough then it likes the dog.
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If something is rough then it likes the dog.
((("something" "is" "rough" "+")) -> ("something" "likes" "dog" "+"))
The dog sees the cow.
True
1
proof
[(triple2)]
("dog" "sees" "cow" "+")
triple2
The cow does not like the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "likes" "rabbit" "-")
triple1
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
@0: The cow likes the rabbit.[(triple1)] The dog sees the cow.[(triple2)] The rabbit sees the cow.[(triple3)]
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple1
The dog sees the cow.
("dog" "sees" "cow" "+")
triple2
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple3