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