The bald eagle does not chase the cat. The bald eagle eats the cat. The bald eagle is blue. The bald eagle is red. The bald eagle sees the cat. The bald eagle does not see the dog. The cat chases the bald eagle. The cat chases the dog. The cat eats the bald eagle. The cat is blue. The cat is not round. The cat sees the dog. The dog eats the bald eagle. The dog is young. The dog sees the cat. If something chases the cat and the cat sees the bald eagle then it sees the dog. If something eats the bald eagle then it chases the cat. If something is red then it eats the dog. If something eats the dog and it chases the bald eagle then the bald eagle is not red. If the dog is round and the dog does not eat the cat then the cat sees the dog. If something chases the cat and it chases the bald eagle then the cat sees the bald eagle. If the dog eats the cat and the dog is blue then the cat is green. If the dog chases the bald eagle and the bald eagle does not chase the cat then the bald eagle is not round.
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If something chases the cat and the cat sees the bald eagle then it sees the dog.
((("something" "chases" "cat" "+") ("cat" "sees" "bald eagle" "+")) -> ("something" "sees" "dog" "+"))
If something eats the bald eagle then it chases the cat.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "cat" "+"))
If something is red then it eats the dog.
((("something" "is" "red" "+")) -> ("something" "eats" "dog" "+"))
If something eats the dog and it chases the bald eagle then the bald eagle is not red.
((("something" "eats" "dog" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "red" "-"))
If the dog is round and the dog does not eat the cat then the cat sees the dog.
((("dog" "is" "round" "+") ("dog" "eats" "cat" "~")) -> ("cat" "sees" "dog" "+"))
If something chases the cat and it chases the bald eagle then the cat sees the bald eagle.
((("something" "chases" "cat" "+") ("something" "chases" "bald eagle" "+")) -> ("cat" "sees" "bald eagle" "+"))
If the dog eats the cat and the dog is blue then the cat is green.
((("dog" "eats" "cat" "+") ("dog" "is" "blue" "+")) -> ("cat" "is" "green" "+"))
If the dog chases the bald eagle and the bald eagle does not chase the cat then the bald eagle is not round.
((("dog" "chases" "bald eagle" "+") ("bald eagle" "chases" "cat" "~")) -> ("bald eagle" "is" "round" "-"))
The dog is young.
True
1
proof
[(triple14)]
("dog" "is" "young" "+")
triple14
The bald eagle sees the dog.
False
1
inv-proof
[(triple6)]
("bald eagle" "sees" "dog" "+")
triple6
The cat chases the cat.
True
2
proof
[(((triple9) -> rule2))]
("cat" "chases" "cat" "+")
((triple9) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The bald eagle does not eat the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("bald eagle" "eats" "dog" "-")
((triple4) -> (rule3 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The cat sees the bald eagle.
True
4
proof
[(((((triple9) -> rule2) triple7) -> rule6))]
("cat" "sees" "bald eagle" "+")
((((triple9) -> (rule2 % int2)) triple7) -> (rule6 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not see the bald eagle.
False
4
inv-proof
[(((((triple9) -> rule2) triple7) -> rule6))]
("cat" "sees" "bald eagle" "-")
((((triple9) -> (rule2 % int2)) triple7) -> (rule6 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The dog sees the dog.
True
7
proof
[(((((triple13) -> rule2) ((((triple9) -> rule2) triple7) -> rule6)) -> rule1))]
("dog" "sees" "dog" "+")
((((triple13) -> (rule2 % int4)) ((((triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The dog chases the cat.
("dog" "chases" "cat" "+")
int4
The dog does not see the dog.
False
7
inv-proof
[(((((triple13) -> rule2) ((((triple9) -> rule2) triple7) -> rule6)) -> rule1))]
("dog" "sees" "dog" "-")
((((triple13) -> (rule2 % int4)) ((((triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The dog chases the cat.
("dog" "chases" "cat" "+")
int4
The cat does not eat the dog.
Unknown
inv-rconc
[@1: The cat eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "dog" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "green" "+")
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "dog" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
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 bald eagle chases the dog.
Unknown
random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "+")
@0: The bald eagle does not chase the cat.[(triple1)] The bald eagle does not see the dog.[(triple6)] The bald eagle eats the cat.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat chases the bald eagle.[(triple7)] The cat chases the dog.[(triple8)] The cat eats the bald eagle.[(triple9)] The cat is blue.[(triple10)] The cat is not round.[(triple11)] The cat sees the dog.[(triple12 OR ((((triple9) -> rule2) ((((triple9) -> rule2) triple7) -> rule6)) -> rule1))] The dog eats the bald eagle.[(triple13)] The dog is young.[(triple14)] The dog sees the cat.[(triple15)] @1: The bald eagle eats the dog.[(((triple4) -> rule3))] The cat chases the cat.[(((triple9) -> rule2))] The dog chases the cat.[(((triple13) -> rule2))] @2: The cat sees the bald eagle.[(((((triple9) -> rule2) triple7) -> rule6))] @3: The dog sees the dog.[(((((triple13) -> rule2) ((((triple9) -> rule2) triple7) -> rule6)) -> rule1))]
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple6
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat chases the dog.
("cat" "chases" "dog" "+")
triple8
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple9
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat is not round.
("cat" "is" "round" "-")
triple11
The cat sees the dog.
("cat" "sees" "dog" "+")
triple12
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog sees the cat.
("dog" "sees" "cat" "+")
triple15
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple4) -> (rule3 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple9) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple13) -> (rule2 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((((triple9) -> (rule2 % int2)) triple7) -> (rule6 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple13) -> (rule2 % int4)) ((((triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The dog chases the cat.
("dog" "chases" "cat" "+")
int4