The dog is green. The lion sees the dog. The squirrel is not kind. If someone likes the lion then they like the dog. If the squirrel visits the dog then the squirrel sees the lion. If the squirrel visits the lion and the lion is big then the squirrel is kind. If the lion sees the squirrel then the lion likes the squirrel. If someone sees the squirrel then they do not like the lion. If someone is green then they like the lion.
The dog is green.
("dog" "is" "green" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
If someone likes the lion then they like the dog.
((("someone" "likes" "lion" "+")) -> ("someone" "likes" "dog" "+"))
If the squirrel visits the dog then the squirrel sees the lion.
((("squirrel" "visits" "dog" "+")) -> ("squirrel" "sees" "lion" "+"))
If the squirrel visits the lion and the lion is big then the squirrel is kind.
((("squirrel" "visits" "lion" "+") ("lion" "is" "big" "+")) -> ("squirrel" "is" "kind" "+"))
If the lion sees the squirrel then the lion likes the squirrel.
((("lion" "sees" "squirrel" "+")) -> ("lion" "likes" "squirrel" "+"))
If someone sees the squirrel then they do not like the lion.
((("someone" "sees" "squirrel" "+")) -> ("someone" "likes" "lion" "-"))
If someone is green then they like the lion.
((("someone" "is" "green" "+")) -> ("someone" "likes" "lion" "+"))
The dog is green.
True
1
proof
[(triple1)]
("dog" "is" "green" "+")
triple1
The squirrel is kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "+")
triple3
The lion does not like the squirrel.
Unknown
inv-rconc
[@1: The lion likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "likes" "squirrel" "-")
The dog sees the lion.
Unknown
random
[@0: The dog sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "lion" "+")
@0: The dog is green.[(triple1)] The lion sees the dog.[(triple2)] The squirrel is not kind.[(triple3)] @1: The dog likes the lion.[(((triple1) -> rule6))] @2: The dog likes the dog.[(((((triple1) -> rule6)) -> rule1))]
The dog is green.
("dog" "is" "green" "+")
triple1
The lion sees the dog.
("lion" "sees" "dog" "+")
triple2
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple3
The dog likes the lion.
("dog" "likes" "lion" "+")
((triple1) -> (rule6 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2