The bear eats the cow. The bear does not eat the squirrel. The bear is kind. The bear does not need the squirrel. The bear visits the squirrel. The cow eats the bear. The cow eats the squirrel. The cow is cold. The cow visits the bear. The squirrel needs the bear. The squirrel needs the cow. The squirrel visits the cow. If someone needs the bear and they are kind then they visit the cow. If someone needs the cow and they are not round then they are cold. If the bear needs the squirrel and the bear visits the squirrel then the squirrel visits the cow. If the cow visits the squirrel then the squirrel eats the cow. If someone visits the squirrel and they do not visit the bear then the squirrel needs the cow. If someone eats the cow and they visit the bear then the cow visits the squirrel. If someone visits the bear then the bear is red. If someone visits the squirrel and the squirrel does not eat the bear then the bear does not visit the squirrel.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone needs the bear and they are kind then they visit the cow.
((("someone" "needs" "bear" "+") ("someone" "is" "kind" "+")) -> ("someone" "visits" "cow" "+"))
If someone needs the cow and they are not round then they are cold.
((("someone" "needs" "cow" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
If the bear needs the squirrel and the bear visits the squirrel then the squirrel visits the cow.
((("bear" "needs" "squirrel" "+") ("bear" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If the cow visits the squirrel then the squirrel eats the cow.
((("cow" "visits" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If someone visits the squirrel and they do not visit the bear then the squirrel needs the cow.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "bear" "~")) -> ("squirrel" "needs" "cow" "+"))
If someone eats the cow and they visit the bear then the cow visits the squirrel.
((("someone" "eats" "cow" "+") ("someone" "visits" "bear" "+")) -> ("cow" "visits" "squirrel" "+"))
If someone visits the bear then the bear is red.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "red" "+"))
If someone visits the squirrel and the squirrel does not eat the bear then the bear does not visit the squirrel.
((("someone" "visits" "squirrel" "+") ("squirrel" "eats" "bear" "~")) -> ("bear" "visits" "squirrel" "-"))
The cow eats the bear.
True
1
proof
[(triple6)]
("cow" "eats" "bear" "+")
triple6
The squirrel does not need the cow.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "cow" "-")
triple11
The bear is red.
True
2
proof
[(((triple9) -> rule7))]
("bear" "is" "red" "+")
((triple9) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple9) -> rule7))]
("bear" "is" "red" "-")
((triple9) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cow does not visit the squirrel.
Unknown
inv-rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "squirrel" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "+")
The squirrel does not visit the bear.
Unknown
inv-random
[@0: The squirrel visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bear" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bear does not eat the squirrel.[(triple2)] The bear does not need the squirrel.[(triple4)] The bear eats the cow.[(triple1)] The bear is kind.[(triple3)] The bear visits the squirrel.[(triple5)] The cow eats the bear.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is cold.[(triple8)] The cow visits the bear.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The bear is red.[(((triple9) -> rule7))]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple2
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
triple4
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The bear is red.
("bear" "is" "red" "+")
((triple9) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1