The bear is not big. The cat chases the mouse. The mouse eats the bear. The squirrel is young. If someone chases the squirrel and they are big then they eat the mouse. If someone chases the mouse then they are young. If someone chases the mouse then the mouse is big. If someone eats the cat and they are big then the cat chases the mouse. If the squirrel eats the bear and the bear eats the mouse then the mouse is rough. If someone is young and not big then they are red. If someone is red then they visit the cat. If someone is round and they do not eat the mouse then the mouse is young.
The bear is not big.
("bear" "is" "big" "-")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone chases the squirrel and they are big then they eat the mouse.
((("someone" "chases" "squirrel" "+") ("someone" "is" "big" "+")) -> ("someone" "eats" "mouse" "+"))
If someone chases the mouse then they are young.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "young" "+"))
If someone chases the mouse then the mouse is big.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "big" "+"))
If someone eats the cat and they are big then the cat chases the mouse.
((("someone" "eats" "cat" "+") ("someone" "is" "big" "+")) -> ("cat" "chases" "mouse" "+"))
If the squirrel eats the bear and the bear eats the mouse then the mouse is rough.
((("squirrel" "eats" "bear" "+") ("bear" "eats" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If someone is young and not big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If someone is red then they visit the cat.
((("someone" "is" "red" "+")) -> ("someone" "visits" "cat" "+"))
If someone is round and they do not eat the mouse then the mouse is young.
((("someone" "is" "round" "+") ("someone" "eats" "mouse" "~")) -> ("mouse" "is" "young" "+"))
The squirrel is young.
True
1
proof
[(triple4)]
("squirrel" "is" "young" "+")
triple4
The squirrel is not young.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "young" "-")
triple4
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "rough" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
@0: The bear is not big.[(triple1)] The cat chases the mouse.[(triple2)] The mouse eats the bear.[(triple3)] The squirrel is young.[(triple4)] @1: The cat is young.[(((triple2) -> rule2))] The mouse is big.[(((triple2) -> rule3))]
The bear is not big.
("bear" "is" "big" "-")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((triple2) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1