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