The mouse does not chase the rabbit. The rabbit does not chase the tiger. The rabbit is big. The rabbit is blue. The rabbit does not visit the mouse. The rabbit visits the tiger. The tiger chases the mouse. The tiger is cold. The tiger does not see the rabbit. The tiger does not visit the rabbit. If someone chases the rabbit and they chase the mouse then they see the rabbit.
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit does not visit the mouse.
("rabbit" "visits" "mouse" "-")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
If someone chases the rabbit and they chase the mouse then they see the rabbit.
((("someone" "chases" "rabbit" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "sees" "rabbit" "+"))
The rabbit visits the tiger.
True
1
proof
[(triple6)]
("rabbit" "visits" "tiger" "+")
triple6
The rabbit does not visit the tiger.
False
1
inv-proof
[(triple6)]
("rabbit" "visits" "tiger" "-")
triple6
The mouse does not see the rabbit.
Unknown
inv-rconc
[@1: The mouse sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "rabbit" "-")
The tiger chases the rabbit.
Unknown
random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "+")
@0: The mouse does not chase the rabbit.[(triple1)] The rabbit does not chase the tiger.[(triple2)] The rabbit does not visit the mouse.[(triple5)] The rabbit is big.[(triple3)] The rabbit is blue.[(triple4)] The rabbit visits the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger does not see the rabbit.[(triple9)] The tiger does not visit the rabbit.[(triple10)] The tiger is cold.[(triple8)]
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
triple1
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple2
The rabbit does not visit the mouse.
("rabbit" "visits" "mouse" "-")
triple5
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple6
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple7
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
triple9
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple8