The bear eats the cow. The bear needs the cow. The bear needs the mouse. The cow does not eat the bear. The cow eats the mouse. The cow is big. The cow is blue. The cow is kind. The cow is nice. The cow is round. The cow needs the bear. The cow needs the mouse. The cow sees the mouse. The mouse eats the bear. The mouse eats the cow. The mouse does not see the cow. If someone is round then they do not eat the cow. If the cow does not need the mouse then the cow sees the mouse.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
If someone is round then they do not eat the cow.
((("someone" "is" "round" "+")) -> ("someone" "eats" "cow" "-"))
If the cow does not need the mouse then the cow sees the mouse.
((("cow" "needs" "mouse" "~")) -> ("cow" "sees" "mouse" "+"))
The cow needs the mouse.
True
1
proof
[(triple12)]
("cow" "needs" "mouse" "+")
triple12
The cow is not blue.
False
1
inv-proof
[(triple7)]
("cow" "is" "blue" "-")
triple7
The cow does not eat the cow.
True
2
proof
[(((triple10) -> rule1))]
("cow" "eats" "cow" "-")
((triple10) -> (rule1 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1
The cow eats the cow.
False
2
inv-proof
[(((triple10) -> rule1))]
("cow" "eats" "cow" "+")
((triple10) -> (rule1 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bear eats the cow.[(triple1)] The bear needs the cow.[(triple2)] The bear needs the mouse.[(triple3)] The cow does not eat the bear.[(triple4)] The cow eats the mouse.[(triple5)] The cow is big.[(triple6)] The cow is blue.[(triple7)] The cow is kind.[(triple8)] The cow is nice.[(triple9)] The cow is round.[(triple10)] The cow needs the bear.[(triple11)] The cow needs the mouse.[(triple12)] The cow sees the mouse.[(triple13)] The mouse does not see the cow.[(triple16)] The mouse eats the bear.[(triple14)] The mouse eats the cow.[(triple15)] @1: The cow does not eat the cow.[(((triple10) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple3
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple12
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple13
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
triple16
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple14
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple15
The cow does not eat the cow.
("cow" "eats" "cow" "-")
((triple10) -> (rule1 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1