The bear eats the cat. The bear likes the mouse. The cat is big. The cat is round. The cat needs the bear. The lion eats the bear. The lion is blue. The lion is rough. The mouse eats the lion. The mouse is rough. The mouse likes the bear. The mouse likes the cat. The mouse likes the lion. The mouse needs the bear. The mouse needs the lion. If something needs the mouse then the mouse eats the cat. If something likes the bear and it likes the lion then the bear is big. If something likes the mouse then the mouse is blue. If the lion needs the bear then the bear needs the cat. If the bear is cold and the bear needs the cat then the bear eats the lion. If something needs the bear and the bear needs the mouse then the mouse is blue. If something needs the lion and the lion is round then it is cold. All big things are rough.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If something needs the mouse then the mouse eats the cat.
((("something" "needs" "mouse" "+")) -> ("mouse" "eats" "cat" "+"))
If something likes the bear and it likes the lion then the bear is big.
((("something" "likes" "bear" "+") ("something" "likes" "lion" "+")) -> ("bear" "is" "big" "+"))
If something likes the mouse then the mouse is blue.
((("something" "likes" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If the lion needs the bear then the bear needs the cat.
((("lion" "needs" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If the bear is cold and the bear needs the cat then the bear eats the lion.
((("bear" "is" "cold" "+") ("bear" "needs" "cat" "+")) -> ("bear" "eats" "lion" "+"))
If something needs the bear and the bear needs the mouse then the mouse is blue.
((("something" "needs" "bear" "+") ("bear" "needs" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If something needs the lion and the lion is round then it is cold.
((("something" "needs" "lion" "+") ("lion" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
The lion eats the bear.
True
1
proof
[(triple6)]
("lion" "eats" "bear" "+")
triple6
The mouse is not rough.
False
1
inv-proof
[(triple10)]
("mouse" "is" "rough" "-")
triple10
The bear is big.
True
3
proof
[(((triple11 triple13) -> rule2))]
("bear" "is" "big" "+")
((triple11 triple13) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("mouse" "is" "blue" "-")
((triple2) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bear is rough.
True
4
proof
[(((((triple11 triple13) -> rule2)) -> rule8))]
("bear" "is" "rough" "+")
((((triple11 triple13) -> (rule2 % int2))) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is not rough.
False
4
inv-proof
[(((((triple11 triple13) -> rule2)) -> rule8))]
("bear" "is" "rough" "-")
((((triple11 triple13) -> (rule2 % int2))) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The mouse does not eat the cat.
Unknown
inv-rconc
[@1: The mouse eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "cat" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "cold" "+")
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "cold" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cat eats the lion.
Unknown
random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "+")
@0: The bear eats the cat.[(triple1)] The bear likes the mouse.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The cat needs the bear.[(triple5)] The lion eats the bear.[(triple6)] The lion is blue.[(triple7)] The lion is rough.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is rough.[(triple10)] The mouse likes the bear.[(triple11)] The mouse likes the cat.[(triple12)] The mouse likes the lion.[(triple13)] The mouse needs the bear.[(triple14)] The mouse needs the lion.[(triple15)] @1: The bear is big.[(((triple11 triple13) -> rule2))] The cat is rough.[(((triple3) -> rule8))] The mouse is blue.[(((triple2) -> rule3))] @2: The bear is rough.[(((((triple11 triple13) -> rule2)) -> rule8))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat needs the bear.
("cat" "needs" "bear" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple11
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple12
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple13
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The bear is big.
("bear" "is" "big" "+")
((triple11 triple13) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple3) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple11 triple13) -> (rule2 % int2))) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2