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