The bear is red. The squirrel likes the bear. The tiger is rough. If the tiger chases the squirrel and the tiger likes the bear then the squirrel sees the bear. If something likes the squirrel and it sees the bear then it chases the bear. If something is big then it chases the bear. If something is big and it likes the tiger then it likes the squirrel. If something sees the squirrel and it sees the tiger then the squirrel likes the bear. If the bear chases the tiger and the bear is red then the tiger is cold.
The bear is red.
("bear" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the tiger chases the squirrel and the tiger likes the bear then the squirrel sees the bear.
((("tiger" "chases" "squirrel" "+") ("tiger" "likes" "bear" "+")) -> ("squirrel" "sees" "bear" "+"))
If something likes the squirrel and it sees the bear then it chases the bear.
((("something" "likes" "squirrel" "+") ("something" "sees" "bear" "+")) -> ("something" "chases" "bear" "+"))
If something is big then it chases the bear.
((("something" "is" "big" "+")) -> ("something" "chases" "bear" "+"))
If something is big and it likes the tiger then it likes the squirrel.
((("something" "is" "big" "+") ("something" "likes" "tiger" "+")) -> ("something" "likes" "squirrel" "+"))
If something sees the squirrel and it sees the tiger then the squirrel likes the bear.
((("something" "sees" "squirrel" "+") ("something" "sees" "tiger" "+")) -> ("squirrel" "likes" "bear" "+"))
If the bear chases the tiger and the bear is red then the tiger is cold.
((("bear" "chases" "tiger" "+") ("bear" "is" "red" "+")) -> ("tiger" "is" "cold" "+"))
The squirrel likes the bear.
True
1
proof
[(triple2)]
("squirrel" "likes" "bear" "+")
triple2
The bear is not red.
False
1
inv-proof
[(triple1)]
("bear" "is" "red" "-")
triple1
The squirrel does not chase the bear.
Unknown
inv-rconc
[@2: The squirrel chases the bear.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bear is red.[(triple1)] The squirrel likes the bear.[(triple2)] The tiger is rough.[(triple3)]
The bear is red.
("bear" "is" "red" "+")
triple1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3