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