The bald eagle eats the mouse. The cow eats the squirrel. The cow needs the mouse. The cow needs the squirrel. The cow sees the squirrel. The mouse eats the bald eagle. The mouse eats the cow. The mouse eats the squirrel. The mouse is blue. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel needs the mouse. The squirrel sees the bald eagle. All blue people are nice. If someone eats the mouse and the mouse is nice then the mouse is rough.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the mouse and the mouse is nice then the mouse is rough.
((("someone" "eats" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "is" "rough" "+"))
The cow eats the squirrel.
True
1
proof
[(triple2)]
("cow" "eats" "squirrel" "+")
triple2
The cow does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "eats" "squirrel" "-")
triple2
The mouse is nice.
True
2
proof
[(((triple9) -> rule1))]
("mouse" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple9) -> rule1))]
("mouse" "is" "nice" "-")
((triple9) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is rough.
True
4
proof
[(((triple1 ((triple9) -> rule1)) -> rule2) OR ((triple11 ((triple9) -> rule1)) -> rule2))]
("mouse" "is" "rough" "+")
((triple1 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((triple11 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The mouse is not rough.
False
4
inv-proof
[(((triple1 ((triple9) -> rule1)) -> rule2) OR ((triple11 ((triple9) -> rule1)) -> rule2))]
("mouse" "is" "rough" "-")
((triple1 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((triple11 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow sees the mouse.
Unknown
random
[@0: The cow sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "mouse" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bald eagle eats the mouse.[(triple1)] The cow eats the squirrel.[(triple2)] The cow needs the mouse.[(triple3)] The cow needs the squirrel.[(triple4)] The cow sees the squirrel.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse eats the cow.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is blue.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is nice.[(triple14 OR ((triple12) -> rule1))] The squirrel needs the mouse.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The mouse is nice.[(((triple9) -> rule1))] @2: The mouse is rough.[(((triple1 ((triple9) -> rule1)) -> rule2) OR ((triple11 ((triple9) -> rule1)) -> rule2))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
((triple12) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple16
The mouse is nice.
("mouse" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple1 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((triple11 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2