The bear is red. The cow is red. The cow needs the bear. The cow needs the squirrel. The cow visits the bear. The rabbit eats the cow. The rabbit is young. The squirrel needs the cow. The squirrel visits the cow. The squirrel visits the rabbit. If someone eats the rabbit and they visit the bear then they eat the cow. If the squirrel eats the cow then the cow needs the rabbit. If someone is young then they need the bear.
The bear is red.
("bear" "is" "red" "+")
The cow is red.
("cow" "is" "red" "+")
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 rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone eats the rabbit and they visit the bear then they eat the cow.
((("someone" "eats" "rabbit" "+") ("someone" "visits" "bear" "+")) -> ("someone" "eats" "cow" "+"))
If the squirrel eats the cow then the cow needs the rabbit.
((("squirrel" "eats" "cow" "+")) -> ("cow" "needs" "rabbit" "+"))
If someone is young then they need the bear.
((("someone" "is" "young" "+")) -> ("someone" "needs" "bear" "+"))
The cow is red.
True
1
proof
[(triple2)]
("cow" "is" "red" "+")
triple2
The squirrel does not visit the cow.
False
1
inv-proof
[(triple9)]
("squirrel" "visits" "cow" "-")
triple9
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "needs" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is red.[(triple1)] The cow is red.[(triple2)] The cow needs the bear.[(triple3)] The cow needs the squirrel.[(triple4)] The cow visits the bear.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is young.[(triple7)] The squirrel needs the cow.[(triple8)] The squirrel visits the cow.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit needs the bear.[(((triple7) -> rule3))]
The bear is red.
("bear" "is" "red" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow needs the bear.
("cow" "needs" "bear" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
The cow visits the bear.
("cow" "visits" "bear" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple8
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple7) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1