The cat does not chase the lion. The cat eats the lion. The cat does not see the cow. The cat sees the lion. The cat sees the mouse. The cow chases the lion. The cow is kind. The cow does not see the lion. The cow does not see the mouse. The lion chases the cow. The lion does not chase the mouse. The lion eats the cat. The lion is kind. The lion sees the cat. The mouse does not chase the cat. The mouse is red. If someone is green and big then they eat the lion. If the cat eats the mouse then the cat sees the lion. If someone is rough and they do not chase the cat then the cat sees the lion. If someone is kind and they eat the lion then the lion eats the cow. If someone is red then they are big. If the cat chases the mouse then the mouse eats the cat. If the cow sees the lion and the cow is green then the lion sees the cat. If the cat is red and the cat eats the lion then the cat is kind.
The cat does not chase the lion.
("cat" "chases" "lion" "-")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat does not see the cow.
("cat" "sees" "cow" "-")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not see the lion.
("cow" "sees" "lion" "-")
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse is red.
("mouse" "is" "red" "+")
If someone is green and big then they eat the lion.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "eats" "lion" "+"))
If the cat eats the mouse then the cat sees the lion.
((("cat" "eats" "mouse" "+")) -> ("cat" "sees" "lion" "+"))
If someone is rough and they do not chase the cat then the cat sees the lion.
((("someone" "is" "rough" "+") ("someone" "chases" "cat" "~")) -> ("cat" "sees" "lion" "+"))
If someone is kind and they eat the lion then the lion eats the cow.
((("someone" "is" "kind" "+") ("someone" "eats" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If the cat chases the mouse then the mouse eats the cat.
((("cat" "chases" "mouse" "+")) -> ("mouse" "eats" "cat" "+"))
If the cow sees the lion and the cow is green then the lion sees the cat.
((("cow" "sees" "lion" "+") ("cow" "is" "green" "+")) -> ("lion" "sees" "cat" "+"))
If the cat is red and the cat eats the lion then the cat is kind.
((("cat" "is" "red" "+") ("cat" "eats" "lion" "+")) -> ("cat" "is" "kind" "+"))
The lion chases the cow.
True
1
proof
[(triple10)]
("lion" "chases" "cow" "+")
triple10
The cow does not chase the lion.
False
1
inv-proof
[(triple6)]
("cow" "chases" "lion" "-")
triple6
The mouse is big.
True
2
proof
[(((triple16) -> rule5))]
("mouse" "is" "big" "+")
((triple16) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple16) -> rule5))]
("mouse" "is" "big" "-")
((triple16) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "-")
The mouse eats the cat.
Unknown
rconc
[@1: The mouse eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "cat" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The lion sees the cow.
Unknown
random
[@0: The lion sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cow" "+")
@0: The cat does not chase the lion.[(triple1)] The cat does not see the cow.[(triple3)] The cat eats the lion.[(triple2)] The cat sees the lion.[(triple4)] The cat sees the mouse.[(triple5)] The cow chases the lion.[(triple6)] The cow does not see the lion.[(triple8)] The cow does not see the mouse.[(triple9)] The cow is kind.[(triple7)] The lion chases the cow.[(triple10)] The lion does not chase the mouse.[(triple11)] The lion eats the cat.[(triple12)] The lion is kind.[(triple13)] The lion sees the cat.[(triple14)] The mouse does not chase the cat.[(triple15)] The mouse is red.[(triple16)] @1: The mouse is big.[(((triple16) -> rule5))]
The cat does not chase the lion.
("cat" "chases" "lion" "-")
triple1
The cat does not see the cow.
("cat" "sees" "cow" "-")
triple3
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The cat sees the lion.
("cat" "sees" "lion" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cow chases the lion.
("cow" "chases" "lion" "+")
triple6
The cow does not see the lion.
("cow" "sees" "lion" "-")
triple8
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple7
The lion chases the cow.
("lion" "chases" "cow" "+")
triple10
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
triple11
The lion eats the cat.
("lion" "eats" "cat" "+")
triple12
The lion is kind.
("lion" "is" "kind" "+")
triple13
The lion sees the cat.
("lion" "sees" "cat" "+")
triple14
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple15
The mouse is red.
("mouse" "is" "red" "+")
triple16
The mouse is big.
("mouse" "is" "big" "+")
((triple16) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1