The bear eats the cow. The bear is kind. The bear is red. The cow chases the bear. The cow is round. The cow sees the bear. The lion chases the bear. The lion chases the squirrel. The lion eats the cow. The lion is round. The squirrel sees the cow. The squirrel sees the lion. If something sees the lion then it eats the bear. If something chases the cow and it chases the bear then it is red. If something is kind then it chases the cow. If the squirrel chases the bear then the squirrel eats the cow. If something chases the bear and the bear is round then it is green. If the bear is nice and the bear eats the cow then the cow is red. If something eats the cow then the cow is round. If something chases the bear and the bear is green then it sees the lion.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is round.
("lion" "is" "round" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something sees the lion then it eats the bear.
((("something" "sees" "lion" "+")) -> ("something" "eats" "bear" "+"))
If something chases the cow and it chases the bear then it is red.
((("something" "chases" "cow" "+") ("something" "chases" "bear" "+")) -> ("something" "is" "red" "+"))
If something is kind then it chases the cow.
((("something" "is" "kind" "+")) -> ("something" "chases" "cow" "+"))
If the squirrel chases the bear then the squirrel eats the cow.
((("squirrel" "chases" "bear" "+")) -> ("squirrel" "eats" "cow" "+"))
If something chases the bear and the bear is round then it is green.
((("something" "chases" "bear" "+") ("bear" "is" "round" "+")) -> ("something" "is" "green" "+"))
If the bear is nice and the bear eats the cow then the cow is red.
((("bear" "is" "nice" "+") ("bear" "eats" "cow" "+")) -> ("cow" "is" "red" "+"))
If something eats the cow then the cow is round.
((("something" "eats" "cow" "+")) -> ("cow" "is" "round" "+"))
If something chases the bear and the bear is green then it sees the lion.
((("something" "chases" "bear" "+") ("bear" "is" "green" "+")) -> ("something" "sees" "lion" "+"))
The lion chases the bear.
True
1
proof
[(triple7)]
("lion" "chases" "bear" "+")
triple7
The squirrel does not see the lion.
False
1
inv-proof
[(triple12)]
("squirrel" "sees" "lion" "-")
triple12
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The cow chases the bear.[(triple4)] The cow is round.[(triple5 OR ((triple1) -> rule7) OR ((triple9) -> rule7))] The cow sees the bear.[(triple6)] The lion chases the bear.[(triple7)] The lion chases the squirrel.[(triple8)] The lion eats the cow.[(triple9)] The lion is round.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The bear chases the cow.[(((triple2) -> rule3))] The squirrel eats the bear.[(((triple12) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The cow chases the bear.
("cow" "chases" "bear" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
((triple1) -> (rule7 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
((triple9) -> (rule7 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple8
The lion eats the cow.
("lion" "eats" "cow" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple12
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple2) -> (rule3 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple12) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1