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