The bear chases the rabbit. The bear is round. The cow is nice. The cow is young. The rabbit chases the bear. The rabbit needs the bear. The rabbit needs the cow. The rabbit needs the squirrel. The rabbit visits the cow. The squirrel chases the bear. The squirrel needs the rabbit. The squirrel visits the cow. If someone visits the rabbit then the rabbit is round. If someone needs the cow then they need the squirrel. If someone is young then they need the squirrel. If someone chases the bear then the bear is round. If someone is blue and round then they chase the bear. If someone is big and nice then they are blue. If the squirrel chases the rabbit then the rabbit visits the cow. If someone needs the cow then the cow is blue.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is round.
("bear" "is" "round" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone visits the rabbit then the rabbit is round.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone needs the cow then they need the squirrel.
((("someone" "needs" "cow" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is young then they need the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone chases the bear then the bear is round.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "round" "+"))
If someone is blue and round then they chase the bear.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "bear" "+"))
If someone is big and nice then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If the squirrel chases the rabbit then the rabbit visits the cow.
((("squirrel" "chases" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone needs the cow then the cow is blue.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "blue" "+"))
The rabbit needs the cow.
True
1
proof
[(triple7)]
("rabbit" "needs" "cow" "+")
triple7
The cow is not nice.
False
1
inv-proof
[(triple3)]
("cow" "is" "nice" "-")
triple3
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "blue" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is round.[(triple2 OR ((triple10) -> rule4) OR ((triple5) -> rule4))] The cow is nice.[(triple3)] The cow is young.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit needs the squirrel.[(triple8 OR ((triple7) -> rule2))] The rabbit visits the cow.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cow is blue.[(((triple7) -> rule8))] The cow needs the squirrel.[(((triple4) -> rule3))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
((triple10) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple5) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple5
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple8
((triple7) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple9
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple10
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The cow is blue.
("cow" "is" "blue" "+")
((triple7) -> (rule8 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((triple4) -> (rule3 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1