The lion chases the rabbit. The lion is blue. The lion is not cold. The lion likes the rabbit. The lion needs the mouse. The mouse is rough. The mouse likes the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is cold. The rabbit likes the lion. The rabbit needs the mouse. The tiger is blue. The tiger is not rough. The tiger needs the mouse. Rough things are not cold. If something likes the lion and it does not chase the mouse then it is rough.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
Rough things are not cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
If something likes the lion and it does not chase the mouse then it is rough.
((("something" "likes" "lion" "+") ("something" "chases" "mouse" "~")) -> ("something" "is" "rough" "+"))
The rabbit likes the lion.
True
1
proof
[(triple11)]
("rabbit" "likes" "lion" "+")
triple11
The rabbit is not cold.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "cold" "-")
triple10
The mouse is not cold.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "is" "cold" "-")
((triple6) -> (rule1 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is cold.
False
2
inv-proof
[(((triple6) -> rule1))]
("mouse" "is" "cold" "+")
((triple6) -> (rule1 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "rough" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "rough" "+")
The rabbit does not need the lion.
Unknown
inv-random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The lion chases the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is not cold.[(triple3)] The lion likes the rabbit.[(triple4)] The lion needs the mouse.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the rabbit.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is cold.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit needs the mouse.[(triple12)] The tiger is blue.[(triple13)] The tiger is not rough.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The mouse is not cold.[(((triple6) -> rule1))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is not cold.
("lion" "is" "cold" "-")
triple3
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple4
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple11
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger is not rough.
("tiger" "is" "rough" "-")
triple14
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple15
The mouse is not cold.
("mouse" "is" "cold" "-")
((triple6) -> (rule1 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1