The bald eagle eats the squirrel. The bald eagle likes the dog. The dog does not chase the bald eagle. The dog chases the squirrel. The dog eats the bald eagle. The dog is not round. The dog likes the bald eagle. The squirrel does not chase the dog. The squirrel eats the dog. The squirrel likes the dog. If someone eats the bald eagle and the bald eagle is not blue then they are round. If someone likes the dog then they are not green.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The squirrel does not chase the dog.
("squirrel" "chases" "dog" "-")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone eats the bald eagle and the bald eagle is not blue then they are round.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "blue" "~")) -> ("someone" "is" "round" "+"))
If someone likes the dog then they are not green.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "green" "-"))
The squirrel likes the dog.
True
1
proof
[(triple10)]
("squirrel" "likes" "dog" "+")
triple10
The bald eagle does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "squirrel" "-")
triple1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "-")
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 eats the squirrel.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog chases the squirrel.[(triple4)] The dog does not chase the bald eagle.[(triple3)] The dog eats the bald eagle.[(triple5)] The dog is not round.[(triple6)] The dog likes the bald eagle.[(triple7)] The squirrel does not chase the dog.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The bald eagle is not green.[(((triple2) -> rule2))] The squirrel is not green.[(((triple10) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
triple3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog is not round.
("dog" "is" "round" "-")
triple6
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple7
The squirrel does not chase the dog.
("squirrel" "chases" "dog" "-")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((triple2) -> (rule2 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The squirrel is not green.
("squirrel" "is" "green" "-")
((triple10) -> (rule2 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1