The bear sees the squirrel. The squirrel is cold. The tiger sees the squirrel. If someone needs the bear and they chase the bear then the bear is green. If someone is nice then they need the squirrel. If someone is rough and they see the bear then they chase the tiger. If someone sees the tiger and the tiger is not green then they do not chase the squirrel. If someone sees the squirrel then they are not round. If someone is round then they do not see the bear.
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone needs the bear and they chase the bear then the bear is green.
((("someone" "needs" "bear" "+") ("someone" "chases" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone is nice then they need the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is rough and they see the bear then they chase the tiger.
((("someone" "is" "rough" "+") ("someone" "sees" "bear" "+")) -> ("someone" "chases" "tiger" "+"))
If someone sees the tiger and the tiger is not green then they do not chase the squirrel.
((("someone" "sees" "tiger" "+") ("tiger" "is" "green" "~")) -> ("someone" "chases" "squirrel" "-"))
If someone sees the squirrel then they are not round.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "round" "-"))
If someone is round then they do not see the bear.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bear" "-"))
The tiger sees the squirrel.
True
1
proof
[(triple3)]
("tiger" "sees" "squirrel" "+")
triple3
The tiger does not see the squirrel.
False
1
inv-proof
[(triple3)]
("tiger" "sees" "squirrel" "-")
triple3
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bear sees the squirrel.[(triple1)] The squirrel is cold.[(triple2)] The tiger sees the squirrel.[(triple3)] @1: The bear is not round.[(((triple1) -> rule5))] The tiger is not round.[(((triple3) -> rule5))]
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple3
The bear is not round.
("bear" "is" "round" "-")
((triple1) -> (rule5 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The tiger is not round.
("tiger" "is" "round" "-")
((triple3) -> (rule5 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1