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