The bald eagle does not chase the cow. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle sees the mouse. The cow chases the bald eagle. The cow does not chase the squirrel. The cow is not nice. The cow is red. The cow does not see the mouse. The mouse does not chase the cow. The mouse is big. The squirrel is round. If someone sees the mouse then they do not see the squirrel. If someone chases the mouse and the mouse is kind then they see the squirrel. If the cow likes the mouse and the cow chases the mouse then the cow likes the bald eagle. If someone sees the cow and the cow is not nice then they see the mouse. If someone sees the bald eagle and they are nice then they like the cow. If someone is big then they see the cow.
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is red.
("cow" "is" "red" "+")
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone sees the mouse then they do not see the squirrel.
((("someone" "sees" "mouse" "+")) -> ("someone" "sees" "squirrel" "-"))
If someone chases the mouse and the mouse is kind then they see the squirrel.
((("someone" "chases" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("someone" "sees" "squirrel" "+"))
If the cow likes the mouse and the cow chases the mouse then the cow likes the bald eagle.
((("cow" "likes" "mouse" "+") ("cow" "chases" "mouse" "+")) -> ("cow" "likes" "bald eagle" "+"))
If someone sees the cow and the cow is not nice then they see the mouse.
((("someone" "sees" "cow" "+") ("cow" "is" "nice" "~")) -> ("someone" "sees" "mouse" "+"))
If someone sees the bald eagle and they are nice then they like the cow.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "cow" "+"))
If someone is big then they see the cow.
((("someone" "is" "big" "+")) -> ("someone" "sees" "cow" "+"))
The cow does not chase the squirrel.
True
1
proof
[(triple6)]
("cow" "chases" "squirrel" "-")
triple6
The cow sees the mouse.
False
1
inv-proof
[(triple9)]
("cow" "sees" "mouse" "+")
triple9
The bald eagle does not see the squirrel.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "sees" "squirrel" "-")
((triple4) -> (rule1 % int1))
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
int1
The bald eagle sees the squirrel.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "sees" "squirrel" "+")
((triple4) -> (rule1 % int1))
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
int1
The mouse sees the mouse.
True
4
proof
[(((((triple11) -> rule6) triple7) -> rule4))]
("mouse" "sees" "mouse" "+")
((((triple11) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse does not see the mouse.
False
4
inv-proof
[(((((triple11) -> rule6) triple7) -> rule4))]
("mouse" "sees" "mouse" "-")
((((triple11) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse does not see the squirrel.
True
5
proof
[(((((((triple11) -> rule6) triple7) -> rule4)) -> rule1))]
("mouse" "sees" "squirrel" "-")
((((((triple11) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int3
The mouse sees the squirrel.
False
5
inv-proof
[(((((((triple11) -> rule6) triple7) -> rule4)) -> rule1))]
("mouse" "sees" "squirrel" "+")
((((((triple11) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int3
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "cow" "-")
The squirrel sees the cow.
Unknown
rconc
[@1: The squirrel sees the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "cow" "+")
The bald eagle does not like the cow.
Unknown
inv-rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "cow" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel likes the mouse.
Unknown
random
[@0: The squirrel likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "mouse" "+")
The cow does not like the mouse.
Unknown
inv-random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow does not chase the squirrel.[(triple6)] The cow does not see the mouse.[(triple9)] The cow is not nice.[(triple7)] The cow is red.[(triple8)] The mouse does not chase the cow.[(triple10)] The mouse is big.[(triple11)] The squirrel is round.[(triple12)] @1: The bald eagle does not see the squirrel.[(((triple4) -> rule1))] The mouse sees the cow.[(((triple11) -> rule6))] @2: The mouse sees the mouse.[(((((triple11) -> rule6) triple7) -> rule4))] @3: The mouse does not see the squirrel.[(((((((triple11) -> rule6) triple7) -> rule4)) -> rule1))]
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
triple6
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
triple9
The cow is not nice.
("cow" "is" "nice" "-")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
((triple4) -> (rule1 % int1))
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
((triple11) -> (rule6 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((triple11) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
((((((triple11) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int3