The bear does not chase the tiger. The bear does not like the dog. The dog does not chase the bear. The dog chases the tiger. The dog eats the bear. The dog is young. The tiger chases the bear. The tiger eats the bear. The tiger does not eat the dog. The tiger is nice. If someone eats the bear and they do not like the dog then they are rough. If someone chases the bear then the bear is not rough. If someone is young and they eat the dog then the dog is blue. If someone eats the tiger then the tiger is red. If someone eats the bear and the bear is not rough then the bear does not like the tiger. If the bear likes the dog and the bear does not like the tiger then the dog does not chase the tiger.
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
The bear does not like the dog.
("bear" "likes" "dog" "-")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is young.
("dog" "is" "young" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone eats the bear and they do not like the dog then they are rough.
((("someone" "eats" "bear" "+") ("someone" "likes" "dog" "~")) -> ("someone" "is" "rough" "+"))
If someone chases the bear then the bear is not rough.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "rough" "-"))
If someone is young and they eat the dog then the dog is blue.
((("someone" "is" "young" "+") ("someone" "eats" "dog" "+")) -> ("dog" "is" "blue" "+"))
If someone eats the tiger then the tiger is red.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If someone eats the bear and the bear is not rough then the bear does not like the tiger.
((("someone" "eats" "bear" "+") ("bear" "is" "rough" "~")) -> ("bear" "likes" "tiger" "-"))
If the bear likes the dog and the bear does not like the tiger then the dog does not chase the tiger.
((("bear" "likes" "dog" "+") ("bear" "likes" "tiger" "~")) -> ("dog" "chases" "tiger" "-"))
The tiger chases the bear.
True
1
proof
[(triple7)]
("tiger" "chases" "bear" "+")
triple7
The dog is not young.
False
1
inv-proof
[(triple6)]
("dog" "is" "young" "-")
triple6
The bear is not rough.
True
2
proof
[(((triple7) -> rule2))]
("bear" "is" "rough" "-")
((triple7) -> (rule2 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The bear is rough.
False
2
inv-proof
[(((triple7) -> rule2))]
("bear" "is" "rough" "+")
((triple7) -> (rule2 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The bear does not like the tiger.
True
4
proof
[(((triple5 ((triple7) -> rule2)) -> rule5) OR ((triple8 ((triple7) -> rule2)) -> rule5))]
("bear" "likes" "tiger" "-")
((triple5 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
int2
((triple8 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
int2
The bear likes the tiger.
False
4
inv-proof
[(((triple5 ((triple7) -> rule2)) -> rule5) OR ((triple8 ((triple7) -> rule2)) -> rule5))]
("bear" "likes" "tiger" "+")
((triple5 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
int2
((triple8 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
int2
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "blue" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "+")
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "red" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The tiger chases the dog.
Unknown
random
[@0: The tiger chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "dog" "+")
@0: The bear does not chase the tiger.[(triple1)] The bear does not like the dog.[(triple2)] The dog chases the tiger.[(triple4)] The dog does not chase the bear.[(triple3)] The dog eats the bear.[(triple5)] The dog is young.[(triple6)] The tiger chases the bear.[(triple7)] The tiger does not eat the dog.[(triple9)] The tiger eats the bear.[(triple8)] The tiger is nice.[(triple10)] @1: The bear is not rough.[(((triple7) -> rule2))] @2: The bear does not like the tiger.[(((triple5 ((triple7) -> rule2)) -> rule5) OR ((triple8 ((triple7) -> rule2)) -> rule5))]
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
triple1
The bear does not like the dog.
("bear" "likes" "dog" "-")
triple2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple4
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
triple9
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The bear is not rough.
("bear" "is" "rough" "-")
((triple7) -> (rule2 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
((triple5 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
int2
((triple8 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
int2