The bald eagle eats the dog. The dog eats the bald eagle. The dog likes the bald eagle. If something is big then it chases the bald eagle. If something chases the dog and the dog is nice then it likes the bald eagle. If something is round then it likes the dog. If the dog eats the bald eagle and the dog likes the bald eagle then the dog is big. If something chases the dog and the dog chases the bald eagle then the bald eagle eats the dog. If the bald eagle likes the dog and the bald eagle chases the dog then the dog is nice. If something eats the dog then the dog likes the bald eagle. If something chases the bald eagle then it chases the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
If something is big then it chases the bald eagle.
((("something" "is" "big" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the dog and the dog is nice then it likes the bald eagle.
((("something" "chases" "dog" "+") ("dog" "is" "nice" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is round then it likes the dog.
((("something" "is" "round" "+")) -> ("something" "likes" "dog" "+"))
If the dog eats the bald eagle and the dog likes the bald eagle then the dog is big.
((("dog" "eats" "bald eagle" "+") ("dog" "likes" "bald eagle" "+")) -> ("dog" "is" "big" "+"))
If something chases the dog and the dog chases the bald eagle then the bald eagle eats the dog.
((("something" "chases" "dog" "+") ("dog" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If the bald eagle likes the dog and the bald eagle chases the dog then the dog is nice.
((("bald eagle" "likes" "dog" "+") ("bald eagle" "chases" "dog" "+")) -> ("dog" "is" "nice" "+"))
If something eats the dog then the dog likes the bald eagle.
((("something" "eats" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If something chases the bald eagle then it chases the dog.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "dog" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple3 OR ((triple1) -> rule7))]
("dog" "likes" "bald eagle" "+")
triple3
((triple1) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "eats" "bald eagle" "-")
triple2
The dog is big.
True
3
proof
[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1) -> rule7)) -> rule4))]
("dog" "is" "big" "+")
((triple2 triple3) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((triple2 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1) -> rule7)) -> rule4))]
("dog" "is" "big" "-")
((triple2 triple3) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((triple2 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog chases the bald eagle.
True
4
proof
[(((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1))]
("dog" "chases" "bald eagle" "+")
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((triple2 ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog does not chase the bald eagle.
False
4
inv-proof
[(((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1))]
("dog" "chases" "bald eagle" "-")
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((triple2 ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog chases the dog.
True
5
proof
[(((((((triple2 triple3) -> rule4)) -> rule1)) -> rule8) OR ((((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1)) -> rule8))]
("dog" "chases" "dog" "+")
((((((triple2 triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((((((triple2 ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int4
The dog does not chase the dog.
False
5
inv-proof
[(((((((triple2 triple3) -> rule4)) -> rule1)) -> rule8) OR ((((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1)) -> rule8))]
("dog" "chases" "dog" "-")
((((((triple2 triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((((((triple2 ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int4
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@2: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@3: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog is nice.
Unknown
rconc
[@2: The dog is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("dog" "is" "nice" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((((((((triple2 triple3) -> rule4)) -> rule1)) -> rule8) ((((triple2 triple3) -> rule4)) -> rule1)) -> rule5))] The dog eats the bald eagle.[(triple2)] The dog likes the bald eagle.[(triple3 OR ((triple1) -> rule7))] @1: The dog is big.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1) -> rule7)) -> rule4))] @2: The dog chases the bald eagle.[(((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1))] @3: The dog chases the dog.[(((((((triple2 triple3) -> rule4)) -> rule1)) -> rule8) OR ((((((triple2 ((triple1) -> rule7)) -> rule4)) -> rule1)) -> rule8))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((((((((triple2 triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule8 % int2)) ((((triple2 triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple3
((triple1) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple2 triple3) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((triple2 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((triple2 ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
((((((triple2 triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((((((triple2 ((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int4