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