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