The bear does not eat the squirrel. The bear is blue. The bear is kind. The bear is red. The bear does not need the squirrel. The bear visits the squirrel. The squirrel is red. If the bear visits the squirrel then the squirrel is rough. If something needs the bear then the bear visits the squirrel. If something eats the bear and the bear does not need the squirrel then the bear is kind. If something visits the squirrel and it needs the squirrel then it eats the bear. If the squirrel eats the bear and the bear is not young then the squirrel does not visit the bear. If something is young and it visits the bear then it is kind. If the bear is young and the bear does not visit the squirrel then the bear does not eat the squirrel. If something visits the bear and it is not kind then it is red.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If the bear visits the squirrel then the squirrel is rough.
((("bear" "visits" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something needs the bear then the bear visits the squirrel.
((("something" "needs" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
If something eats the bear and the bear does not need the squirrel then the bear is kind.
((("something" "eats" "bear" "+") ("bear" "needs" "squirrel" "~")) -> ("bear" "is" "kind" "+"))
If something visits the squirrel and it needs the squirrel then it eats the bear.
((("something" "visits" "squirrel" "+") ("something" "needs" "squirrel" "+")) -> ("something" "eats" "bear" "+"))
If the squirrel eats the bear and the bear is not young then the squirrel does not visit the bear.
((("squirrel" "eats" "bear" "+") ("bear" "is" "young" "~")) -> ("squirrel" "visits" "bear" "-"))
If something is young and it visits the bear then it is kind.
((("something" "is" "young" "+") ("something" "visits" "bear" "+")) -> ("something" "is" "kind" "+"))
If the bear is young and the bear does not visit the squirrel then the bear does not eat the squirrel.
((("bear" "is" "young" "+") ("bear" "visits" "squirrel" "~")) -> ("bear" "eats" "squirrel" "-"))
If something visits the bear and it is not kind then it is red.
((("something" "visits" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "is" "red" "+"))
The squirrel is red.
True
1
proof
[(triple7)]
("squirrel" "is" "red" "+")
triple7
The bear is not kind.
False
1
inv-proof
[(triple3)]
("bear" "is" "kind" "-")
triple3
The squirrel is rough.
True
2
proof
[(((triple6) -> rule1))]
("squirrel" "is" "rough" "+")
((triple6) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple6) -> rule1))]
("squirrel" "is" "rough" "-")
((triple6) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "bear" "-")
The squirrel is kind.
Unknown
rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear does not eat the squirrel.[(triple1)] The bear does not need the squirrel.[(triple5)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear visits the squirrel.[(triple6)] The squirrel is red.[(triple7)] @1: The squirrel is rough.[(((triple6) -> rule1))]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple6) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1