The lion chases the rabbit. The lion needs the mouse. The mouse likes the rabbit. The mouse needs the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit likes the lion. The rabbit needs the lion. If something chases the mouse and the mouse chases the lion then the lion likes the rabbit. If something needs the lion then it is blue. If something likes the lion and the lion chases the rabbit then it needs the lion. If something needs the lion then it likes the rabbit. If something is green and blue then it likes the mouse. If something likes the rabbit and it chases the mouse then the mouse chases the lion.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If something chases the mouse and the mouse chases the lion then the lion likes the rabbit.
((("something" "chases" "mouse" "+") ("mouse" "chases" "lion" "+")) -> ("lion" "likes" "rabbit" "+"))
If something needs the lion then it is blue.
((("something" "needs" "lion" "+")) -> ("something" "is" "blue" "+"))
If something likes the lion and the lion chases the rabbit then it needs the lion.
((("something" "likes" "lion" "+") ("lion" "chases" "rabbit" "+")) -> ("something" "needs" "lion" "+"))
If something needs the lion then it likes the rabbit.
((("something" "needs" "lion" "+")) -> ("something" "likes" "rabbit" "+"))
If something is green and blue then it likes the mouse.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "mouse" "+"))
If something likes the rabbit and it chases the mouse then the mouse chases the lion.
((("something" "likes" "rabbit" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "chases" "lion" "+"))
The mouse needs the rabbit.
True
1
proof
[(triple4)]
("mouse" "needs" "rabbit" "+")
triple4
The mouse does not like the rabbit.
False
1
inv-proof
[(triple3)]
("mouse" "likes" "rabbit" "-")
triple3
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion chases the rabbit.[(triple1)] The lion needs the mouse.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is blue.[(triple6 OR ((triple10) -> rule2) OR ((((triple9 triple1) -> rule3)) -> rule2))] The rabbit is red.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the lion.[(triple9)] The rabbit needs the lion.[(triple10 OR ((triple9 triple1) -> rule3))] @1: The rabbit likes the rabbit.[(((triple10) -> rule4) OR ((((triple9 triple1) -> rule3)) -> rule4))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
((triple10) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((((triple9 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple9
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple10
((triple9 triple1) -> (rule3 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple10) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple9 triple1) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2