The bear chases the cow. The bear is not blue. The bear is rough. The bear is round. The bear needs the cow. The bear does not need the squirrel. The bear visits the mouse. The cow is blue. The cow needs the squirrel. The mouse is red. The squirrel does not chase the bear. The squirrel is kind. The squirrel is red. The squirrel does not need the cow. The squirrel needs the mouse. The squirrel visits the cow. If someone chases the mouse and they do not chase the bear then the bear needs the squirrel. If the cow does not chase the mouse and the mouse does not need the cow then the cow needs the bear. If someone visits the mouse and they are blue then the mouse visits the bear. If the mouse visits the cow then the cow does not chase the squirrel. Kind people are not blue. If someone is rough and they do not chase the cow then they do not visit the cow. If someone is rough then they are not kind. If someone is red then they visit the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone chases the mouse and they do not chase the bear then the bear needs the squirrel.
((("someone" "chases" "mouse" "+") ("someone" "chases" "bear" "~")) -> ("bear" "needs" "squirrel" "+"))
If the cow does not chase the mouse and the mouse does not need the cow then the cow needs the bear.
((("cow" "chases" "mouse" "~") ("mouse" "needs" "cow" "~")) -> ("cow" "needs" "bear" "+"))
If someone visits the mouse and they are blue then the mouse visits the bear.
((("someone" "visits" "mouse" "+") ("someone" "is" "blue" "+")) -> ("mouse" "visits" "bear" "+"))
If the mouse visits the cow then the cow does not chase the squirrel.
((("mouse" "visits" "cow" "+")) -> ("cow" "chases" "squirrel" "-"))
Kind people are not blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
If someone is rough and they do not chase the cow then they do not visit the cow.
((("someone" "is" "rough" "+") ("someone" "chases" "cow" "~")) -> ("someone" "visits" "cow" "-"))
If someone is rough then they are not kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
If someone is red then they visit the bear.
((("someone" "is" "red" "+")) -> ("someone" "visits" "bear" "+"))
The squirrel does not chase the bear.
True
1
proof
[(triple11)]
("squirrel" "chases" "bear" "-")
triple11
The bear does not need the cow.
False
1
inv-proof
[(triple5)]
("bear" "needs" "cow" "-")
triple5
The mouse visits the bear.
True
2
proof
[(((triple10) -> rule8))]
("mouse" "visits" "bear" "+")
((triple10) -> (rule8 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1
The squirrel does not visit the bear.
False
2
inv-proof
[(((triple13) -> rule8))]
("squirrel" "visits" "bear" "-")
((triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "visits" "bear" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "visits" "bear" "+")
The cow does not chase the squirrel.
Unknown
inv-random
[@0: The cow chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "squirrel" "-")
The mouse needs the squirrel.
Unknown
random
[@0: The mouse needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "squirrel" "+")
@0: The bear chases the cow.[(triple1)] The bear does not need the squirrel.[(triple6)] The bear is not blue.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the mouse.[(triple7)] The cow is blue.[(triple8)] The cow needs the squirrel.[(triple9)] The mouse is red.[(triple10)] The squirrel does not chase the bear.[(triple11)] The squirrel does not need the cow.[(triple14)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel needs the mouse.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bear is not kind.[(((triple3) -> rule7))] The mouse visits the bear.[(((triple10) -> rule8))] The squirrel is not blue.[(((triple12) -> rule5))] The squirrel visits the bear.[(((triple13) -> rule8))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
triple6
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple11
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The bear is not kind.
("bear" "is" "kind" "-")
((triple3) -> (rule7 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The mouse visits the bear.
("mouse" "visits" "bear" "+")
((triple10) -> (rule8 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
((triple12) -> (rule5 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((triple13) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1