The mouse does not like the rabbit. The rabbit chases the mouse. The tiger likes the rabbit. If something chases the mouse then the mouse chases the rabbit. If something chases the mouse then the mouse eats the tiger. If something chases the mouse and it likes the mouse then the mouse likes the rabbit. All young things are cold. If something chases the mouse and it chases the tiger then the tiger is kind. If something chases the rabbit then the rabbit does not eat the mouse.
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If something chases the mouse then the mouse chases the rabbit.
((("something" "chases" "mouse" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something chases the mouse then the mouse eats the tiger.
((("something" "chases" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
If something chases the mouse and it likes the mouse then the mouse likes the rabbit.
((("something" "chases" "mouse" "+") ("something" "likes" "mouse" "+")) -> ("mouse" "likes" "rabbit" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something chases the mouse and it chases the tiger then the tiger is kind.
((("something" "chases" "mouse" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If something chases the rabbit then the rabbit does not eat the mouse.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "-"))
The rabbit chases the mouse.
True
1
proof
[(triple2)]
("rabbit" "chases" "mouse" "+")
triple2
The tiger does not like the rabbit.
False
1
inv-proof
[(triple3)]
("tiger" "likes" "rabbit" "-")
triple3
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "cold" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The mouse does not like the rabbit.[(triple1)] The rabbit chases the mouse.[(triple2)] The tiger likes the rabbit.[(triple3)] @1: The mouse chases the rabbit.[(((triple2) -> rule1))] The mouse eats the tiger.[(((triple2) -> rule2))] @2: The rabbit does not eat the mouse.[(((((triple2) -> rule1)) -> rule6))]
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
triple1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple3
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
((triple2) -> (rule1 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
((triple2) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2