The bear eats the rabbit. The bear is green. The bear visits the rabbit. The mouse is nice. The mouse is young. The mouse likes the bear. The mouse likes the tiger. The rabbit eats the bear. The rabbit visits the bear. The rabbit visits the mouse. The rabbit visits the tiger. The tiger eats the mouse. The tiger eats the rabbit. The tiger is green. The tiger is nice. The tiger likes the bear. If someone is cold then they eat the mouse. If someone likes the mouse and they like the rabbit then they eat the mouse.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If someone is cold then they eat the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "mouse" "+"))
If someone likes the mouse and they like the rabbit then they eat the mouse.
((("someone" "likes" "mouse" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "mouse" "+"))
The rabbit visits the mouse.
True
1
proof
[(triple10)]
("rabbit" "visits" "mouse" "+")
triple10
The tiger is not nice.
False
1
inv-proof
[(triple15)]
("tiger" "is" "nice" "-")
triple15
The rabbit does not eat the mouse.
Unknown
inv-rconc
[@1: The rabbit eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "mouse" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is green.[(triple2)] The bear visits the rabbit.[(triple3)] The mouse is nice.[(triple4)] The mouse is young.[(triple5)] The mouse likes the bear.[(triple6)] The mouse likes the tiger.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit visits the bear.[(triple9)] The rabbit visits the mouse.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is green.[(triple14)] The tiger is nice.[(triple15)] The tiger likes the bear.[(triple16)]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple9
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple10
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple15
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple16