The cow chases the dog. The cow is big. The cow is kind. The cow is red. The cow sees the mouse. The dog eats the mouse. The dog is not big. The dog sees the cow. The mouse eats the cow. The mouse sees the cow. If someone is red and they eat the dog then the dog does not see the cow. If someone is big and they eat the dog then the dog does not see the cow. If someone sees the mouse then they are young.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone is red and they eat the dog then the dog does not see the cow.
((("someone" "is" "red" "+") ("someone" "eats" "dog" "+")) -> ("dog" "sees" "cow" "-"))
If someone is big and they eat the dog then the dog does not see the cow.
((("someone" "is" "big" "+") ("someone" "eats" "dog" "+")) -> ("dog" "sees" "cow" "-"))
If someone sees the mouse then they are young.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "young" "+"))
The cow is kind.
True
1
proof
[(triple3)]
("cow" "is" "kind" "+")
triple3
The mouse does not see the cow.
False
1
inv-proof
[(triple10)]
("mouse" "sees" "cow" "-")
triple10
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "young" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow sees the mouse.[(triple5)] The dog eats the mouse.[(triple6)] The dog is not big.[(triple7)] The dog sees the cow.[(triple8)] The mouse eats the cow.[(triple9)] The mouse sees the cow.[(triple10)] @1: The cow is young.[(((triple5) -> rule3))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple6
The dog is not big.
("dog" "is" "big" "-")
triple7
The dog sees the cow.
("dog" "sees" "cow" "+")
triple8
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple9
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
((triple5) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1