The bear is kind. The bear likes the tiger. The bear needs the lion. The bear needs the mouse. The lion does not like the mouse. The lion needs the mouse. The mouse chases the lion. The mouse likes the lion. The mouse needs the bear. The tiger chases the bear. The tiger does not chase the mouse. The tiger is not green. The tiger likes the bear. The tiger likes the lion. The tiger needs the bear. If the tiger is cold then the tiger chases the bear. If something likes the bear and it chases the mouse then it does not chase the bear. If something is kind and not cold then it chases the bear. If the lion likes the bear and the lion likes the tiger then the bear is kind. If the tiger needs the mouse then the mouse does not need the lion. If something likes the lion and it does not chase the mouse then the mouse chases the tiger. If the tiger chases the bear then the tiger likes the bear. If something needs the tiger and it does not like the bear then the bear is round.
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If the tiger is cold then the tiger chases the bear.
((("tiger" "is" "cold" "+")) -> ("tiger" "chases" "bear" "+"))
If something likes the bear and it chases the mouse then it does not chase the bear.
((("something" "likes" "bear" "+") ("something" "chases" "mouse" "+")) -> ("something" "chases" "bear" "-"))
If something is kind and not cold then it chases the bear.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "chases" "bear" "+"))
If the lion likes the bear and the lion likes the tiger then the bear is kind.
((("lion" "likes" "bear" "+") ("lion" "likes" "tiger" "+")) -> ("bear" "is" "kind" "+"))
If the tiger needs the mouse then the mouse does not need the lion.
((("tiger" "needs" "mouse" "+")) -> ("mouse" "needs" "lion" "-"))
If something likes the lion and it does not chase the mouse then the mouse chases the tiger.
((("something" "likes" "lion" "+") ("something" "chases" "mouse" "~")) -> ("mouse" "chases" "tiger" "+"))
If the tiger chases the bear then the tiger likes the bear.
((("tiger" "chases" "bear" "+")) -> ("tiger" "likes" "bear" "+"))
If something needs the tiger and it does not like the bear then the bear is round.
((("something" "needs" "tiger" "+") ("something" "likes" "bear" "~")) -> ("bear" "is" "round" "+"))
The bear needs the mouse.
True
1
proof
[(triple4)]
("bear" "needs" "mouse" "+")
triple4
The bear does not need the lion.
False
1
inv-proof
[(triple3)]
("bear" "needs" "lion" "-")
triple3
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "round" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bear is kind.[(triple1)] The bear likes the tiger.[(triple2)] The bear needs the lion.[(triple3)] The bear needs the mouse.[(triple4)] The lion does not like the mouse.[(triple5)] The lion needs the mouse.[(triple6)] The mouse chases the lion.[(triple7)] The mouse likes the lion.[(triple8)] The mouse needs the bear.[(triple9)] The tiger chases the bear.[(triple10)] The tiger does not chase the mouse.[(triple11)] The tiger is not green.[(triple12)] The tiger likes the bear.[(triple13 OR ((triple10) -> rule7))] The tiger likes the lion.[(triple14)] The tiger needs the bear.[(triple15)] @1: The mouse chases the tiger.[(((triple14 triple11) -> rule6))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
triple5
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple6
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple7
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple8
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple9
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple10
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple11
The tiger is not green.
("tiger" "is" "green" "-")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
((triple10) -> (rule7 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple14
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
((triple14 triple11) -> (rule6 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1