The dog sees the rabbit. The lion is nice. The rabbit is kind. The squirrel is rough. If someone is rough then they are green. If someone is green and they like the lion then the lion sees the dog. If someone is rough and they see the lion then the lion is kind. If someone sees the lion then they like the rabbit. If someone is rough and kind then they see the lion. If someone likes the lion and the lion sees the dog then the lion likes the dog.
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The lion is nice.
("lion" "is" "nice" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and they like the lion then the lion sees the dog.
((("someone" "is" "green" "+") ("someone" "likes" "lion" "+")) -> ("lion" "sees" "dog" "+"))
If someone is rough and they see the lion then the lion is kind.
((("someone" "is" "rough" "+") ("someone" "sees" "lion" "+")) -> ("lion" "is" "kind" "+"))
If someone sees the lion then they like the rabbit.
((("someone" "sees" "lion" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is rough and kind then they see the lion.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "lion" "+"))
If someone likes the lion and the lion sees the dog then the lion likes the dog.
((("someone" "likes" "lion" "+") ("lion" "sees" "dog" "+")) -> ("lion" "likes" "dog" "+"))
The lion is nice.
True
1
proof
[(triple2)]
("lion" "is" "nice" "+")
triple2
The rabbit is not kind.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "kind" "-")
triple3
The squirrel does not see the lion.
Unknown
inv-rconc
[@1: The squirrel sees the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "sees" "lion" "-")
The squirrel likes the dog.
Unknown
random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "+")
@0: The dog sees the rabbit.[(triple1)] The lion is nice.[(triple2)] The rabbit is kind.[(triple3)] The squirrel is rough.[(triple4)] @1: The squirrel is green.[(((triple4) -> rule1))]
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel is green.
("squirrel" "is" "green" "+")
((triple4) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1