The bear chases the cat. The bear does not chase the dog. The bear eats the cat. The bear eats the dog. The bear is not big. The bear is red. The bear sees the cat. The bear sees the dog. The cat eats the dog. The cat does not see the bear. The dog chases the bear. The dog chases the cat. The dog eats the cat. The dog is blue. The dog is red. The dog does not see the bear. If someone sees the bear and the bear chases the cat then the bear chases the dog. If someone is big then they see the bear. If someone eats the cat then they see the cat. If someone is green and they eat the cat then they chase the bear. If someone sees the cat and the cat eats the bear then the cat chases the bear. If the dog sees the cat and the dog does not see the bear then the cat eats the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is red.
("bear" "is" "red" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not see the bear.
("dog" "sees" "bear" "-")
If someone sees the bear and the bear chases the cat then the bear chases the dog.
((("someone" "sees" "bear" "+") ("bear" "chases" "cat" "+")) -> ("bear" "chases" "dog" "+"))
If someone is big then they see the bear.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If someone eats the cat then they see the cat.
((("someone" "eats" "cat" "+")) -> ("someone" "sees" "cat" "+"))
If someone is green and they eat the cat then they chase the bear.
((("someone" "is" "green" "+") ("someone" "eats" "cat" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the cat and the cat eats the bear then the cat chases the bear.
((("someone" "sees" "cat" "+") ("cat" "eats" "bear" "+")) -> ("cat" "chases" "bear" "+"))
If the dog sees the cat and the dog does not see the bear then the cat eats the bear.
((("dog" "sees" "cat" "+") ("dog" "sees" "bear" "~")) -> ("cat" "eats" "bear" "+"))
The bear does not chase the dog.
True
1
proof
[(triple2)]
("bear" "chases" "dog" "-")
triple2
The bear does not see the dog.
False
1
inv-proof
[(triple8)]
("bear" "sees" "dog" "-")
triple8
The dog sees the cat.
True
2
proof
[(((triple13) -> rule3))]
("dog" "sees" "cat" "+")
((triple13) -> (rule3 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog does not see the cat.
False
2
inv-proof
[(((triple13) -> rule3))]
("dog" "sees" "cat" "-")
((triple13) -> (rule3 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The cat eats the bear.
True
4
proof
[(((((triple13) -> rule3) triple16) -> rule6))]
("cat" "eats" "bear" "+")
((((triple13) -> (rule3 % int2)) triple16) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The cat does not eat the bear.
False
4
inv-proof
[(((((triple13) -> rule3) triple16) -> rule6))]
("cat" "eats" "bear" "-")
((((triple13) -> (rule3 % int2)) triple16) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "sees" "cat" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "bear" "+")
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The bear chases the cat.[(triple1)] The bear does not chase the dog.[(triple2)] The bear eats the cat.[(triple3)] The bear eats the dog.[(triple4)] The bear is not big.[(triple5)] The bear is red.[(triple6)] The bear sees the cat.[(triple7 OR ((triple3) -> rule3))] The bear sees the dog.[(triple8)] The cat does not see the bear.[(triple10)] The cat eats the dog.[(triple9)] The dog chases the bear.[(triple11)] The dog chases the cat.[(triple12)] The dog does not see the bear.[(triple16)] The dog eats the cat.[(triple13)] The dog is blue.[(triple14)] The dog is red.[(triple15)] @1: The dog sees the cat.[(((triple13) -> rule3))] @2: The cat eats the bear.[(((((triple13) -> rule3) triple16) -> rule6))] @3: The cat chases the bear.[(((triple7 ((((triple13) -> rule3) triple16) -> rule6)) -> rule5) OR ((((triple13) -> rule3) ((((triple13) -> rule3) triple16) -> rule6)) -> rule5) OR ((((triple3) -> rule3) ((((triple13) -> rule3) triple16) -> rule6)) -> rule5))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple3
The bear eats the dog.
("bear" "eats" "dog" "+")
triple4
The bear is not big.
("bear" "is" "big" "-")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear sees the cat.
("bear" "sees" "cat" "+")
triple7
((triple3) -> (rule3 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple8
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple10
The cat eats the dog.
("cat" "eats" "dog" "+")
triple9
The dog chases the bear.
("dog" "chases" "bear" "+")
triple11
The dog chases the cat.
("dog" "chases" "cat" "+")
triple12
The dog does not see the bear.
("dog" "sees" "bear" "-")
triple16
The dog eats the cat.
("dog" "eats" "cat" "+")
triple13
The dog is blue.
("dog" "is" "blue" "+")
triple14
The dog is red.
("dog" "is" "red" "+")
triple15
The dog sees the cat.
("dog" "sees" "cat" "+")
((triple13) -> (rule3 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
((((triple13) -> (rule3 % int2)) triple16) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple7 ((((triple13) -> (rule3 % int3)) triple16) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3)) triple16) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
((((triple3) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3)) triple16) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
The bear sees the cat.
("bear" "sees" "cat" "+")
int4