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