The bald eagle is green. The bald eagle likes the squirrel. The bald eagle needs the mouse. The bald eagle visits the squirrel. The dog is green. The dog likes the mouse. The mouse is big. The mouse likes the bald eagle. The squirrel likes the mouse. The squirrel needs the dog. If someone visits the squirrel then they are big.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone visits the squirrel then they are big.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "big" "+"))
The squirrel needs the dog.
True
1
proof
[(triple10)]
("squirrel" "needs" "dog" "+")
triple10
The dog does not like the mouse.
False
1
inv-proof
[(triple6)]
("dog" "likes" "mouse" "-")
triple6
The bald eagle is big.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "is" "big" "+")
((triple4) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "is" "big" "-")
((triple4) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "big" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The dog is green.[(triple5)] The dog likes the mouse.[(triple6)] The mouse is big.[(triple7)] The mouse likes the bald eagle.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel needs the dog.[(triple10)] @1: The bald eagle is big.[(((triple4) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple9
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple4) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1