The bear eats the lion. The bear is not blue. The bear is green. The lion chases the bear. The lion chases the rabbit. The lion eats the bear. The lion eats the rabbit. The lion is blue. The lion is rough. The lion is round. The lion is young. The lion needs the bear. The lion needs the rabbit. The rabbit does not chase the lion. The rabbit is round. The rabbit does not need the lion. If someone is young and not blue then they do not eat the bear. If someone is green then they eat the lion. If someone chases the lion and the lion is round then the lion is rough. If someone needs the bear and they chase the lion then the bear eats the lion. If someone needs the lion and they are not young then they need the rabbit. If someone is rough and they chase the lion then the lion does not chase the rabbit.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is green.
("bear" "is" "green" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
If someone is young and not blue then they do not eat the bear.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "bear" "-"))
If someone is green then they eat the lion.
((("someone" "is" "green" "+")) -> ("someone" "eats" "lion" "+"))
If someone chases the lion and the lion is round then the lion is rough.
((("someone" "chases" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "is" "rough" "+"))
If someone needs the bear and they chase the lion then the bear eats the lion.
((("someone" "needs" "bear" "+") ("someone" "chases" "lion" "+")) -> ("bear" "eats" "lion" "+"))
If someone needs the lion and they are not young then they need the rabbit.
((("someone" "needs" "lion" "+") ("someone" "is" "young" "~")) -> ("someone" "needs" "rabbit" "+"))
If someone is rough and they chase the lion then the lion does not chase the rabbit.
((("someone" "is" "rough" "+") ("someone" "chases" "lion" "+")) -> ("lion" "chases" "rabbit" "-"))
The rabbit does not chase the lion.
True
1
proof
[(triple14)]
("rabbit" "chases" "lion" "-")
triple14
The lion does not chase the bear.
False
1
inv-proof
[(triple4)]
("lion" "chases" "bear" "-")
triple4
The rabbit does not eat the lion.
Unknown
inv-rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bear eats the lion.[(triple1 OR ((triple3) -> rule2))] The bear is green.[(triple3)] The bear is not blue.[(triple2)] The lion chases the bear.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is blue.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion needs the bear.[(triple12)] The lion needs the rabbit.[(triple13)] The rabbit does not chase the lion.[(triple14)] The rabbit does not need the lion.[(triple16)] The rabbit is round.[(triple15)]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
((triple3) -> (rule2 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The lion chases the bear.
("lion" "chases" "bear" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion needs the bear.
("lion" "needs" "bear" "+")
triple12
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple13
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple14
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple16
The rabbit is round.
("rabbit" "is" "round" "+")
triple15