The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is red. The bald eagle needs the mouse. The dog eats the mouse. The dog sees the squirrel. The mouse eats the dog. The mouse is big. The mouse is kind. The mouse is rough. The squirrel is rough. The squirrel needs the bald eagle. If something is green and it sees the dog then the dog is kind.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something is green and it sees the dog then the dog is kind.
((("something" "is" "green" "+") ("something" "sees" "dog" "+")) -> ("dog" "is" "kind" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple12)]
("squirrel" "needs" "bald eagle" "+")
triple12
The squirrel is not rough.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "rough" "-")
triple11
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "kind" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the mouse.[(triple4)] The dog eats the mouse.[(triple5)] The dog sees the squirrel.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is big.[(triple8)] The mouse is kind.[(triple9)] The mouse is rough.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bald eagle.[(triple12)]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12