The bear eats the dog. The bear is big. The bear is kind. The bear is red. The bear likes the dog. The dog eats the bear. The dog likes the bear. If something eats the bear then it is young. If something is red then it eats the bear. If something is green then it chases the bear. If something likes the bear then the bear is big. If something eats the dog and it is young then the dog is green. If something is green and it chases the dog then it likes the dog. If something is red and it eats the dog then the dog chases the bear. If something likes the dog and the dog does not like the bear then the bear is not kind.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If something eats the bear then it is young.
((("something" "eats" "bear" "+")) -> ("something" "is" "young" "+"))
If something is red then it eats the bear.
((("something" "is" "red" "+")) -> ("something" "eats" "bear" "+"))
If something is green then it chases the bear.
((("something" "is" "green" "+")) -> ("something" "chases" "bear" "+"))
If something likes the bear then the bear is big.
((("something" "likes" "bear" "+")) -> ("bear" "is" "big" "+"))
If something eats the dog and it is young then the dog is green.
((("something" "eats" "dog" "+") ("something" "is" "young" "+")) -> ("dog" "is" "green" "+"))
If something is green and it chases the dog then it likes the dog.
((("something" "is" "green" "+") ("something" "chases" "dog" "+")) -> ("something" "likes" "dog" "+"))
If something is red and it eats the dog then the dog chases the bear.
((("something" "is" "red" "+") ("something" "eats" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If something likes the dog and the dog does not like the bear then the bear is not kind.
((("something" "likes" "dog" "+") ("dog" "likes" "bear" "~")) -> ("bear" "is" "kind" "-"))
The bear eats the dog.
True
1
proof
[(triple1)]
("bear" "eats" "dog" "+")
triple1
The dog does not like the bear.
False
1
inv-proof
[(triple7)]
("dog" "likes" "bear" "-")
triple7
The dog is young.
True
2
proof
[(((triple6) -> rule1))]
("dog" "is" "young" "+")
((triple6) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog does not chase the bear.
False
3
inv-proof
[(((triple4 triple1) -> rule7) OR ((((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule3))]
("dog" "chases" "bear" "-")
((triple4 triple1) -> (rule7 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
((((triple1 ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The bear is young.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("bear" "is" "young" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is not young.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("bear" "is" "young" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The dog is green.
True
5
proof
[(((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5))]
("dog" "is" "green" "+")
((triple1 ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The dog is not green.
False
5
inv-proof
[(((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5))]
("dog" "is" "green" "-")
((triple1 ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "likes" "dog" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2 OR ((triple7) -> rule4))] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear likes the dog.[(triple5)] The dog eats the bear.[(triple6)] The dog likes the bear.[(triple7)] @1: The bear eats the bear.[(((triple4) -> rule2))] The dog chases the bear.[(((triple4 triple1) -> rule7) OR ((((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule3))] The dog is young.[(((triple6) -> rule1))] @2: The bear is young.[(((((triple4) -> rule2)) -> rule1))] @3: The dog is green.[(((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
((triple7) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple4) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple4 triple1) -> (rule7 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
((((triple1 ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The dog is young.
("dog" "is" "young" "+")
((triple6) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((triple1 ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3