The bald eagle eats the mouse. The bald eagle is round. The bald eagle likes the dog. The bald eagle likes the mouse. The dog eats the bald eagle. The dog is cold. The dog likes the bald eagle. The mouse eats the dog. The mouse is cold. The mouse likes the squirrel. The squirrel eats the bald eagle. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel likes the dog. If something eats the bald eagle then it eats the mouse. All red things are rough. If something eats the mouse and it eats the bald eagle then it needs the squirrel.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something eats the bald eagle then it eats the mouse.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "mouse" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something eats the mouse and it eats the bald eagle then it needs the squirrel.
((("something" "eats" "mouse" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "needs" "squirrel" "+"))
The squirrel is cold.
True
1
proof
[(triple12)]
("squirrel" "is" "cold" "+")
triple12
The mouse does not eat the dog.
False
1
inv-proof
[(triple8)]
("mouse" "eats" "dog" "-")
triple8
The squirrel eats the mouse.
True
2
proof
[(((triple11) -> rule1))]
("squirrel" "eats" "mouse" "+")
((triple11) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The dog does not eat the mouse.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "eats" "mouse" "-")
((triple5) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The mouse is rough.
Unknown
rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "rough" "+")
The mouse does not like the bald eagle.
Unknown
inv-random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "-")
The squirrel likes the mouse.
Unknown
random
[@0: The squirrel likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the mouse.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is cold.[(triple6)] The dog likes the bald eagle.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is cold.[(triple9)] The mouse likes the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the dog.[(triple15)] @1: The dog eats the mouse.[(((triple5) -> rule1))] The squirrel eats the mouse.[(((triple11) -> rule1))] @2: The dog needs the squirrel.[(((((triple5) -> rule1) triple5) -> rule3))] The squirrel needs the squirrel.[(((((triple11) -> rule1) triple11) -> rule3))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple7
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple15
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple5) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((triple11) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((triple11) -> (rule1 % int2)) triple11) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2