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