The bear eats the squirrel. The bear is cold. The bear is rough. The bear likes the squirrel. The bear does not visit the squirrel. The squirrel does not eat the bear. The squirrel is cold. The squirrel is rough. The squirrel likes the bear. The squirrel does not visit the bear. If the squirrel is not round then the squirrel eats the bear. If something eats the bear and the bear is not rough then the bear does not eat the squirrel. If something likes the bear then it likes the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
If the squirrel is not round then the squirrel eats the bear.
((("squirrel" "is" "round" "~")) -> ("squirrel" "eats" "bear" "+"))
If something eats the bear and the bear is not rough then the bear does not eat the squirrel.
((("something" "eats" "bear" "+") ("bear" "is" "rough" "~")) -> ("bear" "eats" "squirrel" "-"))
If something likes the bear then it likes the squirrel.
((("something" "likes" "bear" "+")) -> ("something" "likes" "squirrel" "+"))
The bear does not visit the squirrel.
True
1
proof
[(triple5)]
("bear" "visits" "squirrel" "-")
triple5
The bear does not like the squirrel.
False
1
inv-proof
[(triple4)]
("bear" "likes" "squirrel" "-")
triple4
The squirrel likes the squirrel.
True
2
proof
[(((triple9) -> rule3))]
("squirrel" "likes" "squirrel" "+")
((triple9) -> (rule3 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple9) -> rule3))]
("squirrel" "likes" "squirrel" "-")
((triple9) -> (rule3 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bear does not visit the squirrel.[(triple5)] The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear likes the squirrel.[(triple4)] The squirrel does not eat the bear.[(triple6)] The squirrel does not visit the bear.[(triple10)] The squirrel is cold.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the bear.[(triple9)] @1: The squirrel likes the squirrel.[(((triple9) -> rule3))]
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple5
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple6
The squirrel does not visit the bear.
("squirrel" "visits" "bear" "-")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple9) -> (rule3 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1