The cow is red. The cow sees the mouse. The cow sees the tiger. The cow visits the mouse. The cow visits the tiger. The mouse is big. The mouse is kind. The mouse likes the cow. The mouse sees the cow. The mouse visits the cow. The mouse visits the tiger. The tiger is kind. If the mouse is round then the mouse is big. If someone sees the tiger and they are kind then they visit the cow.
The cow is red.
("cow" "is" "red" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If the mouse is round then the mouse is big.
((("mouse" "is" "round" "+")) -> ("mouse" "is" "big" "+"))
If someone sees the tiger and they are kind then they visit the cow.
((("someone" "sees" "tiger" "+") ("someone" "is" "kind" "+")) -> ("someone" "visits" "cow" "+"))
The mouse visits the tiger.
True
1
proof
[(triple11)]
("mouse" "visits" "tiger" "+")
triple11
The tiger is not kind.
False
1
inv-proof
[(triple12)]
("tiger" "is" "kind" "-")
triple12
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "-")
The mouse likes the tiger.
Unknown
random
[@0: The mouse likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "tiger" "+")
@0: The cow is red.[(triple1)] The cow sees the mouse.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the mouse.[(triple4)] The cow visits the tiger.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse likes the cow.[(triple8)] The mouse sees the cow.[(triple9)] The mouse visits the cow.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger is kind.[(triple12)]
The cow is red.
("cow" "is" "red" "+")
triple1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple2
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple8
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple9
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple10
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12