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