The bear is big. The bear is red. The dog is big. The dog is rough. The mouse is red. The mouse is round. The mouse needs the dog. The mouse needs the tiger. The tiger eats the mouse. The tiger is big. The tiger is green. The tiger is red. If someone eats the bear and the bear eats the dog then the bear likes the mouse.
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone eats the bear and the bear eats the dog then the bear likes the mouse.
((("someone" "eats" "bear" "+") ("bear" "eats" "dog" "+")) -> ("bear" "likes" "mouse" "+"))
The dog is big.
True
1
proof
[(triple3)]
("dog" "is" "big" "+")
triple3
The mouse is not red.
False
1
inv-proof
[(triple5)]
("mouse" "is" "red" "-")
triple5
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "mouse" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bear is big.[(triple1)] The bear is red.[(triple2)] The dog is big.[(triple3)] The dog is rough.[(triple4)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse needs the dog.[(triple7)] The mouse needs the tiger.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12)]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12