The bear is young. The cat is nice. The mouse sees the cat. If the mouse is young and the mouse chases the bear then the mouse sees the bear. If someone eats the bear then the bear eats the mouse. If the mouse eats the bear then the bear is young. If someone sees the bear then they chase the bear. If someone chases the cat then the cat is cold. If the cat is round and the cat chases the mouse then the mouse eats the cat. If someone is round and they chase the cat then they chase the mouse. If someone is big and they chase the cat then they are cold.
The bear is young.
("bear" "is" "young" "+")
The cat is nice.
("cat" "is" "nice" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If the mouse is young and the mouse chases the bear then the mouse sees the bear.
((("mouse" "is" "young" "+") ("mouse" "chases" "bear" "+")) -> ("mouse" "sees" "bear" "+"))
If someone eats the bear then the bear eats the mouse.
((("someone" "eats" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If the mouse eats the bear then the bear is young.
((("mouse" "eats" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone sees the bear then they chase the bear.
((("someone" "sees" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the cat then the cat is cold.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "cold" "+"))
If the cat is round and the cat chases the mouse then the mouse eats the cat.
((("cat" "is" "round" "+") ("cat" "chases" "mouse" "+")) -> ("mouse" "eats" "cat" "+"))
If someone is round and they chase the cat then they chase the mouse.
((("someone" "is" "round" "+") ("someone" "chases" "cat" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is big and they chase the cat then they are cold.
((("someone" "is" "big" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "cold" "+"))
The mouse sees the cat.
True
1
proof
[(triple3)]
("mouse" "sees" "cat" "+")
triple3
The bear is not young.
False
1
inv-proof
[(triple1)]
("bear" "is" "young" "-")
triple1
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "bear" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The bear is young.[(triple1)] The cat is nice.[(triple2)] The mouse sees the cat.[(triple3)]
The bear is young.
("bear" "is" "young" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple3