The bald eagle chases the squirrel. The bald eagle is big. The dog eats the squirrel. The dog is kind. The dog is round. The lion chases the bald eagle. The lion is big. The lion is kind. The lion needs the bald eagle. The lion needs the dog. The squirrel chases the lion. The squirrel eats the bald eagle. The squirrel is big. The squirrel needs the bald eagle. The squirrel needs the dog. If someone eats the lion and they chase the squirrel then they are big. If someone is big and they eat the lion then they chase the dog. If someone is rough then they are round. If someone chases the lion and they are rough then the lion is round. If someone needs the bald eagle and they need the dog then the bald eagle needs the lion. If someone eats the squirrel and the squirrel is round then they need the bald eagle. If someone needs the bald eagle then they eat the dog. If the dog chases the lion then the dog is rough.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone eats the lion and they chase the squirrel then they are big.
((("someone" "eats" "lion" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone is big and they eat the lion then they chase the dog.
((("someone" "is" "big" "+") ("someone" "eats" "lion" "+")) -> ("someone" "chases" "dog" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone chases the lion and they are rough then the lion is round.
((("someone" "chases" "lion" "+") ("someone" "is" "rough" "+")) -> ("lion" "is" "round" "+"))
If someone needs the bald eagle and they need the dog then the bald eagle needs the lion.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "dog" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone eats the squirrel and the squirrel is round then they need the bald eagle.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the bald eagle then they eat the dog.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "dog" "+"))
If the dog chases the lion then the dog is rough.
((("dog" "chases" "lion" "+")) -> ("dog" "is" "rough" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple9)]
("lion" "needs" "bald eagle" "+")
triple9
The squirrel does not chase the lion.
False
1
inv-proof
[(triple11)]
("squirrel" "chases" "lion" "-")
triple11
The bald eagle needs the lion.
True
3
proof
[(((triple14 triple15) -> rule5) OR ((triple9 triple10) -> rule5))]
("bald eagle" "needs" "lion" "+")
((triple14 triple15) -> (rule5 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple9 triple10) -> (rule5 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion does not eat the dog.
False
2
inv-proof
[(((triple9) -> rule7))]
("lion" "eats" "dog" "-")
((triple9) -> (rule7 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The dog does not need the bald eagle.
Unknown
inv-rconc
[@2: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not chase the lion.
Unknown
inv-random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "-")
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" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is kind.[(triple4)] The dog is round.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is kind.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion needs the dog.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is big.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The bald eagle needs the lion.[(((triple14 triple15) -> rule5) OR ((triple9 triple10) -> rule5))] The lion eats the dog.[(((triple9) -> rule7))] The squirrel eats the dog.[(((triple14) -> rule7))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion needs the dog.
("lion" "needs" "dog" "+")
triple10
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple11
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple14 triple15) -> (rule5 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple9 triple10) -> (rule5 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
((triple9) -> (rule7 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple14) -> (rule7 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1