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