The bear chases the cat. The bear is nice. The bear sees the cat. The cat sees the squirrel. The lion is big. The squirrel chases the bear. The squirrel sees the lion. If someone is nice and they like the bear then the bear is round. If someone likes the squirrel then they are rough. If someone likes the squirrel and the squirrel chases the cat then the squirrel likes the bear. If someone is nice then they chase the lion. If someone sees the cat and they like the squirrel then the squirrel likes the bear. If someone chases the bear and they see the cat then the bear likes the squirrel. If someone is round then they chase the cat. If the bear is rough and the bear sees the squirrel then the bear chases the squirrel.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone is nice and they like the bear then the bear is round.
((("someone" "is" "nice" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "round" "+"))
If someone likes the squirrel then they are rough.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the squirrel and the squirrel chases the cat then the squirrel likes the bear.
((("someone" "likes" "squirrel" "+") ("squirrel" "chases" "cat" "+")) -> ("squirrel" "likes" "bear" "+"))
If someone is nice then they chase the lion.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "lion" "+"))
If someone sees the cat and they like the squirrel then the squirrel likes the bear.
((("someone" "sees" "cat" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
If someone chases the bear and they see the cat then the bear likes the squirrel.
((("someone" "chases" "bear" "+") ("someone" "sees" "cat" "+")) -> ("bear" "likes" "squirrel" "+"))
If someone is round then they chase the cat.
((("someone" "is" "round" "+")) -> ("someone" "chases" "cat" "+"))
If the bear is rough and the bear sees the squirrel then the bear chases the squirrel.
((("bear" "is" "rough" "+") ("bear" "sees" "squirrel" "+")) -> ("bear" "chases" "squirrel" "+"))
The squirrel sees the lion.
True
1
proof
[(triple7)]
("squirrel" "sees" "lion" "+")
triple7
The squirrel does not chase the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "bear" "-")
triple6
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
@0: The bear chases the cat.[(triple1)] The bear is nice.[(triple2)] The bear sees the cat.[(triple3)] The cat sees the squirrel.[(triple4)] The lion is big.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel sees the lion.[(triple7)] @1: The bear chases the lion.[(((triple2) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear sees the cat.
("bear" "sees" "cat" "+")
triple3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple7
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple2) -> (rule4 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1