The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle needs the squirrel. The bald eagle sees the dog. The bald eagle sees the squirrel. The dog does not need the squirrel. The dog sees the bald eagle. The squirrel needs the bald eagle. The squirrel sees the bald eagle. The squirrel sees the dog. If someone chases the dog and the dog sees the bald eagle then the dog chases the squirrel. If someone needs the bald eagle then they need the dog. If someone chases the squirrel and they do not need the bald eagle then they are not rough. If someone needs the dog then they chase the bald eagle. If someone is round then they do not need the squirrel. If someone sees the dog and they see the squirrel then the dog sees the squirrel.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone chases the dog and the dog sees the bald eagle then the dog chases the squirrel.
((("someone" "chases" "dog" "+") ("dog" "sees" "bald eagle" "+")) -> ("dog" "chases" "squirrel" "+"))
If someone needs the bald eagle then they need the dog.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "dog" "+"))
If someone chases the squirrel and they do not need the bald eagle then they are not rough.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "bald eagle" "~")) -> ("someone" "is" "rough" "-"))
If someone needs the dog then they chase the bald eagle.
((("someone" "needs" "dog" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is round then they do not need the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "needs" "squirrel" "-"))
If someone sees the dog and they see the squirrel then the dog sees the squirrel.
((("someone" "sees" "dog" "+") ("someone" "sees" "squirrel" "+")) -> ("dog" "sees" "squirrel" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple9)]
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel does not see the bald eagle.
False
1
inv-proof
[(triple9)]
("squirrel" "sees" "bald eagle" "-")
triple9
The dog sees the squirrel.
True
3
proof
[(((triple4 triple5) -> rule6))]
("dog" "sees" "squirrel" "+")
((triple4 triple5) -> (rule6 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog does not see the squirrel.
False
3
inv-proof
[(((triple4 triple5) -> rule6))]
("dog" "sees" "squirrel" "-")
((triple4 triple5) -> (rule6 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The squirrel chases the bald eagle.
True
3
proof
[(((((triple8) -> rule2)) -> rule4))]
("squirrel" "chases" "bald eagle" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The squirrel does not chase the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule4))]
("squirrel" "chases" "bald eagle" "-")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@2: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The bald eagle needs the dog.
Unknown
rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "dog" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The dog does not need the squirrel.[(triple6)] The dog sees the bald eagle.[(triple7)] The squirrel needs the bald eagle.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog chases the squirrel.[(((triple1 triple7) -> rule1))] The dog sees the squirrel.[(((triple4 triple5) -> rule6))] The squirrel needs the dog.[(((triple8) -> rule2))] @2: The squirrel chases the bald eagle.[(((((triple8) -> rule2)) -> rule4))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
triple6
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple1 triple7) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple4 triple5) -> (rule6 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
((triple8) -> (rule2 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2