The dog is rough. The lion eats the dog. If someone is rough then they are green.
The dog is rough.
("dog" "is" "rough" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
The lion eats the dog.
True
1
proof
[(triple2)]
("lion" "eats" "dog" "+")
triple2
The lion does not eat the dog.
False
1
inv-proof
[(triple2)]
("lion" "eats" "dog" "-")
triple2
The dog is green.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "green" "+")
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "green" "-")
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "green" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not eat the lion.
Unknown
inv-random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The dog is rough.[(triple1)] The lion eats the dog.[(triple2)] @1: The dog is green.[(((triple1) -> rule1))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The lion eats the dog.
("lion" "eats" "dog" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1