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