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