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