The mouse eats the rabbit. The mouse eats the tiger. The mouse is red. The mouse needs the rabbit. The mouse needs the tiger. The mouse does not visit the rabbit. The mouse does not visit the tiger. The rabbit does not eat the mouse. The rabbit is blue. The rabbit is kind. The rabbit needs the tiger. The rabbit visits the mouse. The rabbit visits the tiger. The tiger eats the rabbit. The tiger needs the rabbit. The tiger does not visit the mouse. If the rabbit visits the tiger and the tiger is nice then the rabbit is round. If the tiger is nice and the tiger needs the rabbit then the rabbit is round. If the tiger eats the mouse then the mouse needs the rabbit. If something visits the rabbit then it needs the rabbit. If something is red and it visits the rabbit then the rabbit visits the mouse. Blue things are red. If something needs the tiger then the tiger needs the mouse. If something visits the tiger then the tiger needs the mouse.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
The mouse does not visit the tiger.
("mouse" "visits" "tiger" "-")
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger does not visit the mouse.
("tiger" "visits" "mouse" "-")
If the rabbit visits the tiger and the tiger is nice then the rabbit is round.
((("rabbit" "visits" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("rabbit" "is" "round" "+"))
If the tiger is nice and the tiger needs the rabbit then the rabbit is round.
((("tiger" "is" "nice" "+") ("tiger" "needs" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If the tiger eats the mouse then the mouse needs the rabbit.
((("tiger" "eats" "mouse" "+")) -> ("mouse" "needs" "rabbit" "+"))
If something visits the rabbit then it needs the rabbit.
((("something" "visits" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
If something is red and it visits the rabbit then the rabbit visits the mouse.
((("something" "is" "red" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something needs the tiger then the tiger needs the mouse.
((("something" "needs" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
If something visits the tiger then the tiger needs the mouse.
((("something" "visits" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
The mouse does not visit the rabbit.
True
1
proof
[(triple6)]
("mouse" "visits" "rabbit" "-")
triple6
The mouse visits the rabbit.
False
1
inv-proof
[(triple6)]
("mouse" "visits" "rabbit" "+")
triple6
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "red" "-")
The tiger visits the rabbit.
Unknown
random
[@0: The tiger visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "rabbit" "+")
@0: The mouse does not visit the rabbit.[(triple6)] The mouse does not visit the tiger.[(triple7)] The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is red.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse needs the tiger.[(triple5)] The rabbit does not eat the mouse.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is kind.[(triple10)] The rabbit needs the tiger.[(triple11)] The rabbit visits the mouse.[(triple12)] The rabbit visits the tiger.[(triple13)] The tiger does not visit the mouse.[(triple16)] The tiger eats the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The rabbit is red.[(((triple9) -> rule6))] The tiger needs the mouse.[(((triple11) -> rule7) OR ((triple13) -> rule8) OR ((triple5) -> rule7))]
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
triple6
The mouse does not visit the tiger.
("mouse" "visits" "tiger" "-")
triple7
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple5
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple13
The tiger does not visit the mouse.
("tiger" "visits" "mouse" "-")
triple16
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple14
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The rabbit is red.
("rabbit" "is" "red" "+")
((triple9) -> (rule6 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
((triple11) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
((triple13) -> (rule8 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
((triple5) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1