The lion chases the mouse. The lion eats the mouse. The lion eats the tiger. The mouse chases the lion. The mouse chases the tiger. The mouse eats the lion. The mouse needs the lion. The tiger chases the mouse. The tiger eats the mouse. The tiger is green. The tiger is rough. The tiger needs the lion. If someone eats the mouse and they chase the mouse then the mouse eats the lion. If someone eats the mouse then the mouse eats the tiger. If someone is green and cold then they eat the tiger.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone eats the mouse and they chase the mouse then the mouse eats the lion.
((("someone" "eats" "mouse" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "eats" "lion" "+"))
If someone eats the mouse then the mouse eats the tiger.
((("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
If someone is green and cold then they eat the tiger.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "eats" "tiger" "+"))
The tiger chases the mouse.
True
1
proof
[(triple8)]
("tiger" "chases" "mouse" "+")
triple8
The mouse does not chase the lion.
False
1
inv-proof
[(triple4)]
("mouse" "chases" "lion" "-")
triple4
The mouse eats the tiger.
True
2
proof
[(((triple2) -> rule2) OR ((triple9) -> rule2))]
("mouse" "eats" "tiger" "+")
((triple2) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
((triple9) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The mouse does not eat the tiger.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple9) -> rule2))]
("mouse" "eats" "tiger" "-")
((triple2) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
((triple9) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion eats the tiger.[(triple3)] The mouse chases the lion.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse eats the lion.[(triple6 OR ((triple2 triple1) -> rule1) OR ((triple9 triple8) -> rule1))] The mouse needs the lion.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is green.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the lion.[(triple12)] @1: The mouse eats the tiger.[(((triple2) -> rule2) OR ((triple9) -> rule2))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple3
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple4
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple5
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple6
((triple2 triple1) -> (rule1 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
((triple9 triple8) -> (rule1 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple7
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
((triple2) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
((triple9) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1