The cow eats the dog. The dog eats the cow. The rabbit eats the dog. If someone sees the dog and they see the cow then they are nice.
The cow eats the dog.
("cow" "eats" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If someone sees the dog and they see the cow then they are nice.
((("someone" "sees" "dog" "+") ("someone" "sees" "cow" "+")) -> ("someone" "is" "nice" "+"))
The cow eats the dog.
True
1
proof
[(triple1)]
("cow" "eats" "dog" "+")
triple1
The cow does not eat the dog.
False
1
inv-proof
[(triple1)]
("cow" "eats" "dog" "-")
triple1
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The cow eats the dog.[(triple1)] The dog eats the cow.[(triple2)] The rabbit eats the dog.[(triple3)]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The dog eats the cow.
("dog" "eats" "cow" "+")
triple2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple3