The bald eagle chases the squirrel. The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle sees the squirrel. The dog eats the bald eagle. The dog sees the squirrel. The lion chases the dog. The lion eats the dog. The lion eats the squirrel. The squirrel eats the dog. The squirrel sees the bald eagle. The squirrel sees the dog. If someone sees the lion then the lion chases the squirrel. If the bald eagle is blue and the bald eagle eats the dog then the dog is red. If someone eats the squirrel and the squirrel chases the bald eagle then the squirrel eats the bald eagle. If someone chases the dog then the dog is kind. If someone sees the bald eagle and they are nice then they are kind. If someone sees the squirrel then the squirrel eats the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone sees the lion then the lion chases the squirrel.
((("someone" "sees" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If the bald eagle is blue and the bald eagle eats the dog then the dog is red.
((("bald eagle" "is" "blue" "+") ("bald eagle" "eats" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone eats the squirrel and the squirrel chases the bald eagle then the squirrel eats the bald eagle.
((("someone" "eats" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone chases the dog then the dog is kind.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone sees the bald eagle and they are nice then they are kind.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the squirrel then the squirrel eats the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
The dog sees the squirrel.
True
1
proof
[(triple6)]
("dog" "sees" "squirrel" "+")
triple6
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "lion" "-")
triple2
The squirrel eats the bald eagle.
True
2
proof
[(((triple4) -> rule6) OR ((triple6) -> rule6))]
("squirrel" "eats" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple6) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple7) -> rule4))]
("dog" "is" "kind" "-")
((triple7) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The lion does not chase the squirrel.
Unknown
inv-rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "squirrel" "-")
The squirrel is kind.
Unknown
rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel does not eat the lion.
Unknown
inv-random
[@0: The squirrel eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "lion" "-")
The lion sees the squirrel.
Unknown
random
[@0: The lion sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog sees the squirrel.[(triple6)] The lion chases the dog.[(triple7)] The lion eats the dog.[(triple8)] The lion eats the squirrel.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The dog is kind.[(((triple7) -> rule4))] The squirrel eats the bald eagle.[(((triple4) -> rule6) OR ((triple6) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The lion eats the dog.
("lion" "eats" "dog" "+")
triple8
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
((triple7) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple6) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1