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