The bear eats the squirrel. The squirrel is big. If someone eats the bear then they chase the bear. If someone sees the bear and the bear chases the squirrel then the bear is red. If the bear eats the squirrel and the bear does not chase the squirrel then the bear sees the squirrel. If someone eats the bear and they see the squirrel then they are big. If someone sees the squirrel then they are not big. If someone eats the squirrel then they eat the bear.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If someone eats the bear then they chase the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the bear and the bear chases the squirrel then the bear is red.
((("someone" "sees" "bear" "+") ("bear" "chases" "squirrel" "+")) -> ("bear" "is" "red" "+"))
If the bear eats the squirrel and the bear does not chase the squirrel then the bear sees the squirrel.
((("bear" "eats" "squirrel" "+") ("bear" "chases" "squirrel" "~")) -> ("bear" "sees" "squirrel" "+"))
If someone eats the bear and they see the squirrel then they are big.
((("someone" "eats" "bear" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone sees the squirrel then they are not big.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "big" "-"))
If someone eats the squirrel then they eat the bear.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "bear" "+"))
The bear eats the squirrel.
True
1
proof
[(triple1)]
("bear" "eats" "squirrel" "+")
triple1
The bear does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "eats" "squirrel" "-")
triple1
The bear eats the bear.
True
2
proof
[(((triple1) -> rule6))]
("bear" "eats" "bear" "+")
((triple1) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
2
inv-proof
[(((triple1) -> rule6))]
("bear" "eats" "bear" "-")
((triple1) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the bear.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("bear" "chases" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not chase the bear.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("bear" "chases" "bear" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is not big.
Unknown
inv-rconc
[@2: The bear is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bear" "is" "big" "-")
The bear sees the squirrel.
Unknown
rconc
[@1: The bear sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "squirrel" "+")
The squirrel does not chase the bear.
Unknown
inv-rconc
[@2: The squirrel chases the bear.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear eats the squirrel.[(triple1)] The squirrel is big.[(triple2)] @1: The bear eats the bear.[(((triple1) -> rule6))] @2: The bear chases the bear.[(((((triple1) -> rule6)) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
triple2
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2