The cat chases the cow. The cat chases the mouse. The cat is red. The cat is round. The cat needs the cow. The cat needs the mouse. The cow chases the cat. The cow eats the cat. The cow eats the mouse. The cow is not green. The cow does not need the cat. The mouse does not chase the cow. The mouse does not eat the cat. The mouse is round. The mouse does not need the cat. The mouse needs the cow. If something is round and it does not eat the mouse then it needs the cat. If something needs the cat then it is red. If something is red then it eats the cow. If the cow chases the mouse and the cow does not chase the cat then the cow is red. If something needs the mouse and the mouse eats the cow then the mouse is not red. If something is green and it chases the cow then the cow needs the mouse.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow does not need the cat.
("cow" "needs" "cat" "-")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
If something is round and it does not eat the mouse then it needs the cat.
((("something" "is" "round" "+") ("something" "eats" "mouse" "~")) -> ("something" "needs" "cat" "+"))
If something needs the cat then it is red.
((("something" "needs" "cat" "+")) -> ("something" "is" "red" "+"))
If something is red then it eats the cow.
((("something" "is" "red" "+")) -> ("something" "eats" "cow" "+"))
If the cow chases the mouse and the cow does not chase the cat then the cow is red.
((("cow" "chases" "mouse" "+") ("cow" "chases" "cat" "~")) -> ("cow" "is" "red" "+"))
If something needs the mouse and the mouse eats the cow then the mouse is not red.
((("something" "needs" "mouse" "+") ("mouse" "eats" "cow" "+")) -> ("mouse" "is" "red" "-"))
If something is green and it chases the cow then the cow needs the mouse.
((("something" "is" "green" "+") ("something" "chases" "cow" "+")) -> ("cow" "needs" "mouse" "+"))
The mouse does not eat the cat.
True
1
proof
[(triple13)]
("mouse" "eats" "cat" "-")
triple13
The cow is green.
False
1
inv-proof
[(triple10)]
("cow" "is" "green" "+")
triple10
The cat eats the cow.
True
2
proof
[(((triple3) -> rule3))]
("cat" "eats" "cow" "+")
((triple3) -> (rule3 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat does not eat the cow.
False
2
inv-proof
[(((triple3) -> rule3))]
("cat" "eats" "cow" "-")
((triple3) -> (rule3 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cat" "-")
The mouse eats the cow.
Unknown
rconc
[@2: The mouse eats the cow.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("mouse" "eats" "cow" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the mouse.[(triple6)] The cow chases the cat.[(triple7)] The cow does not need the cat.[(triple11)] The cow eats the cat.[(triple8)] The cow eats the mouse.[(triple9)] The cow is not green.[(triple10)] The mouse does not chase the cow.[(triple12)] The mouse does not eat the cat.[(triple13)] The mouse does not need the cat.[(triple15)] The mouse is round.[(triple14)] The mouse needs the cow.[(triple16)] @1: The cat eats the cow.[(((triple3) -> rule3))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat needs the cow.
("cat" "needs" "cow" "+")
triple5
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple6
The cow chases the cat.
("cow" "chases" "cat" "+")
triple7
The cow does not need the cat.
("cow" "needs" "cat" "-")
triple11
The cow eats the cat.
("cow" "eats" "cat" "+")
triple8
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple9
The cow is not green.
("cow" "is" "green" "-")
triple10
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple12
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
triple13
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
triple15
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple16
The cat eats the cow.
("cat" "eats" "cow" "+")
((triple3) -> (rule3 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1