The bald eagle chases the dog. The bald eagle is big. The bald eagle is young. The cat chases the bald eagle. The cat eats the dog. The cat is round. The cat is young. The dog does not chase the cat. The dog eats the bald eagle. The dog eats the cat. The dog is big. The dog is young. If something eats the bald eagle and the bald eagle eats the dog then it is not big. If something is big then it chases the dog. If something eats the cat and the cat is round then it eats the bald eagle. If the bald eagle is big and the bald eagle chases the cat then the bald eagle does not visit the dog. If something visits the bald eagle then the bald eagle eats the cat. If something is big then it visits the bald eagle. If something is blue then it visits the dog. If something eats the cat and the cat is not big then it chases the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The dog does not chase the cat.
("dog" "chases" "cat" "-")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
If something eats the bald eagle and the bald eagle eats the dog then it is not big.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "dog" "+")) -> ("something" "is" "big" "-"))
If something is big then it chases the dog.
((("something" "is" "big" "+")) -> ("something" "chases" "dog" "+"))
If something eats the cat and the cat is round then it eats the bald eagle.
((("something" "eats" "cat" "+") ("cat" "is" "round" "+")) -> ("something" "eats" "bald eagle" "+"))
If the bald eagle is big and the bald eagle chases the cat then the bald eagle does not visit the dog.
((("bald eagle" "is" "big" "+") ("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "visits" "dog" "-"))
If something visits the bald eagle then the bald eagle eats the cat.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something is big then it visits the bald eagle.
((("something" "is" "big" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is blue then it visits the dog.
((("something" "is" "blue" "+")) -> ("something" "visits" "dog" "+"))
If something eats the cat and the cat is not big then it chases the bald eagle.
((("something" "eats" "cat" "+") ("cat" "is" "big" "~")) -> ("something" "chases" "bald eagle" "+"))
The cat is young.
True
1
proof
[(triple7)]
("cat" "is" "young" "+")
triple7
The dog does not eat the cat.
False
1
inv-proof
[(triple10)]
("dog" "eats" "cat" "-")
triple10
The dog chases the dog.
True
2
proof
[(((triple11) -> rule2))]
("dog" "chases" "dog" "+")
((triple11) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not visit the bald eagle.
False
2
inv-proof
[(((triple11) -> rule6))]
("dog" "visits" "bald eagle" "-")
((triple11) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle eats the cat.
True
3
proof
[(((((triple11) -> rule6)) -> rule5) OR ((((triple2) -> rule6)) -> rule5))]
("bald eagle" "eats" "cat" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle does not eat the cat.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule5) OR ((((triple2) -> rule6)) -> rule5))]
("bald eagle" "eats" "cat" "-")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
True
5
proof
[(((((((triple11) -> rule6)) -> rule5) triple6) -> rule3) OR ((((((triple2) -> rule6)) -> rule5) triple6) -> rule3))]
("bald eagle" "eats" "bald eagle" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle does not eat the bald eagle.
False
5
inv-proof
[(((((((triple11) -> rule6)) -> rule5) triple6) -> rule3) OR ((((((triple2) -> rule6)) -> rule5) triple6) -> rule3))]
("bald eagle" "eats" "bald eagle" "-")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The cat does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "bald eagle" "-")
The bald eagle visits the dog.
Unknown
rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "dog" "+")
The cat does not chase the dog.
Unknown
inv-rconc
[@1: The cat chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "dog" "-")
The cat visits the dog.
Unknown
rconc
[@1: The cat visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "visits" "dog" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle chases the dog.[(triple1 OR ((triple2) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is young.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat eats the dog.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7)] The dog does not chase the cat.[(triple8)] The dog eats the bald eagle.[(triple9 OR ((triple10 triple6) -> rule3))] The dog eats the cat.[(triple10)] The dog is big.[(triple11)] The dog is young.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule6))] The dog chases the dog.[(((triple11) -> rule2))] The dog visits the bald eagle.[(((triple11) -> rule6))] @2: The bald eagle eats the cat.[(((((triple11) -> rule6)) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] @3: The bald eagle eats the bald eagle.[(((((((triple11) -> rule6)) -> rule5) triple6) -> rule3) OR ((((((triple2) -> rule6)) -> rule5) triple6) -> rule3))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
((triple2) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat eats the dog.
("cat" "eats" "dog" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The dog does not chase the cat.
("dog" "chases" "cat" "-")
triple8
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple9
((triple10 triple6) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
triple11
The dog is young.
("dog" "is" "young" "+")
triple12
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple11) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple11) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3