The bear eats the cat. The bear eats the mouse. The bear is big. The bear visits the cat. The cat visits the mouse. The lion eats the cat. The lion is kind. The lion is rough. The lion likes the bear. The lion likes the mouse. The mouse likes the bear. The mouse likes the cat. If someone eats the lion and the lion likes the bear then the lion is big. If someone likes the lion and they visit the cat then the lion likes the bear. If someone likes the cat then the cat is rough. If someone is rough and they like the bear then they eat the bear. If someone eats the lion then the lion visits the bear. If someone eats the cat and the cat is green then they are big. If someone visits the lion and they are kind then they eat the lion. If the cat likes the mouse and the cat is big then the cat is green.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
If someone eats the lion and the lion likes the bear then the lion is big.
((("someone" "eats" "lion" "+") ("lion" "likes" "bear" "+")) -> ("lion" "is" "big" "+"))
If someone likes the lion and they visit the cat then the lion likes the bear.
((("someone" "likes" "lion" "+") ("someone" "visits" "cat" "+")) -> ("lion" "likes" "bear" "+"))
If someone likes the cat then the cat is rough.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "rough" "+"))
If someone is rough and they like the bear then they eat the bear.
((("someone" "is" "rough" "+") ("someone" "likes" "bear" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the lion then the lion visits the bear.
((("someone" "eats" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If someone eats the cat and the cat is green then they are big.
((("someone" "eats" "cat" "+") ("cat" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone visits the lion and they are kind then they eat the lion.
((("someone" "visits" "lion" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "lion" "+"))
If the cat likes the mouse and the cat is big then the cat is green.
((("cat" "likes" "mouse" "+") ("cat" "is" "big" "+")) -> ("cat" "is" "green" "+"))
The cat visits the mouse.
True
1
proof
[(triple5)]
("cat" "visits" "mouse" "+")
triple5
The lion is not kind.
False
1
inv-proof
[(triple7)]
("lion" "is" "kind" "-")
triple7
The cat is rough.
True
2
proof
[(((triple12) -> rule3))]
("cat" "is" "rough" "+")
((triple12) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion does not eat the bear.
False
3
inv-proof
[(((triple8 triple9) -> rule4))]
("lion" "eats" "bear" "-")
((triple8 triple9) -> (rule4 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "big" "-")
The lion is big.
Unknown
rconc
[@2: The lion is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("lion" "is" "big" "+")
The cat does not visit the bear.
Unknown
inv-random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the mouse.[(triple2)] The bear is big.[(triple3)] The bear visits the cat.[(triple4)] The cat visits the mouse.[(triple5)] The lion eats the cat.[(triple6)] The lion is kind.[(triple7)] The lion is rough.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the mouse.[(triple10)] The mouse likes the bear.[(triple11)] The mouse likes the cat.[(triple12)] @1: The cat is rough.[(((triple12) -> rule3))] The lion eats the bear.[(((triple8 triple9) -> rule4))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple5
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple10
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple11
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple12
The cat is rough.
("cat" "is" "rough" "+")
((triple12) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion eats the bear.
("lion" "eats" "bear" "+")
((triple8 triple9) -> (rule4 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1