The lion chases the mouse. The lion chases the tiger. The lion is cold. The lion needs the mouse. The lion visits the tiger. The mouse is cold. The tiger chases the mouse. If someone is kind and they chase the mouse then the mouse visits the lion. If someone needs the lion then they are blue. If someone is kind and they chase the lion then the lion does not need the mouse. If someone needs the tiger and the tiger does not visit the mouse then the tiger needs the lion. If someone is kind and they chase the tiger then the tiger needs the lion. If someone chases the mouse then the mouse chases the lion.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If someone is kind and they chase the mouse then the mouse visits the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "visits" "lion" "+"))
If someone needs the lion then they are blue.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and they chase the lion then the lion does not need the mouse.
((("someone" "is" "kind" "+") ("someone" "chases" "lion" "+")) -> ("lion" "needs" "mouse" "-"))
If someone needs the tiger and the tiger does not visit the mouse then the tiger needs the lion.
((("someone" "needs" "tiger" "+") ("tiger" "visits" "mouse" "~")) -> ("tiger" "needs" "lion" "+"))
If someone is kind and they chase the tiger then the tiger needs the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "needs" "lion" "+"))
If someone chases the mouse then the mouse chases the lion.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "lion" "+"))
The mouse is cold.
True
1
proof
[(triple6)]
("mouse" "is" "cold" "+")
triple6
The lion does not chase the mouse.
False
1
inv-proof
[(triple1)]
("lion" "chases" "mouse" "-")
triple1
The mouse chases the lion.
True
2
proof
[(((triple1) -> rule6) OR ((triple7) -> rule6))]
("mouse" "chases" "lion" "+")
((triple1) -> (rule6 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
((triple7) -> (rule6 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The mouse does not chase the lion.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple7) -> rule6))]
("mouse" "chases" "lion" "-")
((triple1) -> (rule6 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
((triple7) -> (rule6 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The tiger is not blue.
Unknown
inv-rconc
[@2: The tiger is blue.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("tiger" "is" "blue" "-")
The mouse is blue.
Unknown
rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "blue" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The lion chases the mouse.[(triple1)] The lion chases the tiger.[(triple2)] The lion is cold.[(triple3)] The lion needs the mouse.[(triple4)] The lion visits the tiger.[(triple5)] The mouse is cold.[(triple6)] The tiger chases the mouse.[(triple7)] @1: The mouse chases the lion.[(((triple1) -> rule6) OR ((triple7) -> rule6))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple7
The mouse chases the lion.
("mouse" "chases" "lion" "+")
((triple1) -> (rule6 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
((triple7) -> (rule6 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1