The bear is big. The dog does not chase the bear. The dog does not eat the bear. The dog does not like the squirrel. The mouse chases the bear. The mouse likes the squirrel. The squirrel eats the bear. The squirrel is not nice. The squirrel is round. The squirrel is not young. If someone is round and they chase the mouse then the mouse is nice. If someone is young and they chase the squirrel then the squirrel does not like the mouse. If the bear likes the squirrel then the squirrel does not eat the dog. If someone is cold then they like the squirrel. Nice people are young. If someone chases the bear and they are not young then the bear likes the mouse.
The bear is big.
("bear" "is" "big" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog does not eat the bear.
("dog" "eats" "bear" "-")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
If someone is round and they chase the mouse then the mouse is nice.
((("someone" "is" "round" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone is young and they chase the squirrel then the squirrel does not like the mouse.
((("someone" "is" "young" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "likes" "mouse" "-"))
If the bear likes the squirrel then the squirrel does not eat the dog.
((("bear" "likes" "squirrel" "+")) -> ("squirrel" "eats" "dog" "-"))
If someone is cold then they like the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "squirrel" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone chases the bear and they are not young then the bear likes the mouse.
((("someone" "chases" "bear" "+") ("someone" "is" "young" "~")) -> ("bear" "likes" "mouse" "+"))
The squirrel is round.
True
1
proof
[(triple9)]
("squirrel" "is" "round" "+")
triple9
The mouse does not chase the bear.
False
1
inv-proof
[(triple5)]
("mouse" "chases" "bear" "-")
triple5
The bear does not like the squirrel.
Unknown
inv-rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "squirrel" "-")
The bear eats the squirrel.
Unknown
random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "+")
@0: The bear is big.[(triple1)] The dog does not chase the bear.[(triple2)] The dog does not eat the bear.[(triple3)] The dog does not like the squirrel.[(triple4)] The mouse chases the bear.[(triple5)] The mouse likes the squirrel.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel is not nice.[(triple8)] The squirrel is not young.[(triple10)] The squirrel is round.[(triple9)]
The bear is big.
("bear" "is" "big" "+")
triple1
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple2
The dog does not eat the bear.
("dog" "eats" "bear" "-")
triple3
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple5
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple8
The squirrel is not young.
("squirrel" "is" "young" "-")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple9