The cat chases the cow. The cat does not eat the mouse. The cat is blue. The cow eats the cat. The cow eats the mouse. The cow is green. The cow needs the cat. The cow needs the mouse. The mouse chases the cat. The mouse is blue. The mouse is green. The mouse is kind. If the cow is not blue then the cow is green. If someone eats the cat and they chase the cow then the cat chases the cow. If the cow does not need the mouse and the mouse does not chase the cat then the cat needs the mouse. If the cat chases the cow then the cow needs the cat. If the cow is blue and the cow is not kind then the cow needs the cat. If someone is blue then they chase the cow. If someone needs the mouse and they are not green then they chase the mouse. If someone needs the cow and they do not need the cat then the cow chases the mouse.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
If the cow is not blue then the cow is green.
((("cow" "is" "blue" "~")) -> ("cow" "is" "green" "+"))
If someone eats the cat and they chase the cow then the cat chases the cow.
((("someone" "eats" "cat" "+") ("someone" "chases" "cow" "+")) -> ("cat" "chases" "cow" "+"))
If the cow does not need the mouse and the mouse does not chase the cat then the cat needs the mouse.
((("cow" "needs" "mouse" "~") ("mouse" "chases" "cat" "~")) -> ("cat" "needs" "mouse" "+"))
If the cat chases the cow then the cow needs the cat.
((("cat" "chases" "cow" "+")) -> ("cow" "needs" "cat" "+"))
If the cow is blue and the cow is not kind then the cow needs the cat.
((("cow" "is" "blue" "+") ("cow" "is" "kind" "~")) -> ("cow" "needs" "cat" "+"))
If someone is blue then they chase the cow.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the mouse and they are not green then they chase the mouse.
((("someone" "needs" "mouse" "+") ("someone" "is" "green" "~")) -> ("someone" "chases" "mouse" "+"))
If someone needs the cow and they do not need the cat then the cow chases the mouse.
((("someone" "needs" "cow" "+") ("someone" "needs" "cat" "~")) -> ("cow" "chases" "mouse" "+"))
The cow needs the mouse.
True
1
proof
[(triple8)]
("cow" "needs" "mouse" "+")
triple8
The cat eats the mouse.
False
1
inv-proof
[(triple2)]
("cat" "eats" "mouse" "+")
triple2
The mouse chases the cow.
True
2
proof
[(((triple10) -> rule6))]
("mouse" "chases" "cow" "+")
((triple10) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse does not chase the cow.
False
2
inv-proof
[(((triple10) -> rule6))]
("mouse" "chases" "cow" "-")
((triple10) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The cat does not need the mouse.
Unknown
inv-rconc
[@1: The cat needs the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "mouse" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "chases" "cow" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cat chases the cow.[(triple1 OR ((triple3) -> rule6))] The cat does not eat the mouse.[(triple2)] The cat is blue.[(triple3)] The cow eats the cat.[(triple4)] The cow eats the mouse.[(triple5)] The cow is green.[(triple6)] The cow needs the cat.[(triple7 OR ((triple1) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] The cow needs the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] @1: The mouse chases the cow.[(((triple10) -> rule6))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
((triple3) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow needs the cat.
("cow" "needs" "cat" "+")
triple7
((triple1) -> (rule4 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple8
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse chases the cow.
("mouse" "chases" "cow" "+")
((triple10) -> (rule6 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1