The bear is young. The bear does not like the tiger. The bear needs the tiger. The bear visits the dog. The bear visits the tiger. The dog is kind. The dog is rough. The dog needs the tiger. The dog visits the tiger. The tiger is big. The tiger is young. The tiger does not visit the bear. If the tiger does not visit the dog and the tiger is not kind then the dog is kind. If someone visits the tiger then they are round. If someone is rough then they like the dog. If someone is round then they like the dog. If someone needs the bear then the bear visits the dog. If the bear is big then the bear likes the dog.
The bear is young.
("bear" "is" "young" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
If the tiger does not visit the dog and the tiger is not kind then the dog is kind.
((("tiger" "visits" "dog" "~") ("tiger" "is" "kind" "~")) -> ("dog" "is" "kind" "+"))
If someone visits the tiger then they are round.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they like the dog.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "dog" "+"))
If someone is round then they like the dog.
((("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
If someone needs the bear then the bear visits the dog.
((("someone" "needs" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If the bear is big then the bear likes the dog.
((("bear" "is" "big" "+")) -> ("bear" "likes" "dog" "+"))
The tiger is big.
True
1
proof
[(triple10)]
("tiger" "is" "big" "+")
triple10
The dog is not rough.
False
1
inv-proof
[(triple7)]
("dog" "is" "rough" "-")
triple7
The bear is round.
True
2
proof
[(((triple5) -> rule2))]
("bear" "is" "round" "+")
((triple5) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog does not like the dog.
False
2
inv-proof
[(((triple7) -> rule3) OR ((((triple9) -> rule2)) -> rule4))]
("dog" "likes" "dog" "-")
((triple7) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The bear likes the dog.
True
3
proof
[(((((triple5) -> rule2)) -> rule4))]
("bear" "likes" "dog" "+")
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not like the dog.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule4))]
("bear" "likes" "dog" "-")
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The tiger does not like the dog.
Unknown
inv-rconc
[@2: The tiger likes the dog.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("tiger" "likes" "dog" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "round" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bear does not like the tiger.[(triple2)] The bear is young.[(triple1)] The bear needs the tiger.[(triple3)] The bear visits the dog.[(triple4)] The bear visits the tiger.[(triple5)] The dog is kind.[(triple6)] The dog is rough.[(triple7)] The dog needs the tiger.[(triple8)] The dog visits the tiger.[(triple9)] The tiger does not visit the bear.[(triple12)] The tiger is big.[(triple10)] The tiger is young.[(triple11)] @1: The bear is round.[(((triple5) -> rule2))] The dog is round.[(((triple9) -> rule2))] The dog likes the dog.[(((triple7) -> rule3) OR ((((triple9) -> rule2)) -> rule4))] @2: The bear likes the dog.[(((((triple5) -> rule2)) -> rule4))]
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple2
The bear is young.
("bear" "is" "young" "+")
triple1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple8
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple9
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
The bear is round.
("bear" "is" "round" "+")
((triple5) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple9) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple7) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2