The cow eats the tiger. The cow is green. The cow likes the dog. The cow likes the mouse. The cow sees the mouse. The dog is young. The mouse is kind. The mouse is red. The mouse sees the dog. The mouse sees the tiger. The tiger eats the cow. The tiger is red. If something is nice then it is kind. If something is nice and young then it eats the cow. If something eats the dog then the dog is young.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The dog is young.
("dog" "is" "young" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is nice and young then it eats the cow.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "eats" "cow" "+"))
If something eats the dog then the dog is young.
((("something" "eats" "dog" "+")) -> ("dog" "is" "young" "+"))
The mouse sees the dog.
True
1
proof
[(triple9)]
("mouse" "sees" "dog" "+")
triple9
The mouse does not see the tiger.
False
1
inv-proof
[(triple10)]
("mouse" "sees" "tiger" "-")
triple10
The tiger is not kind.
Unknown
inv-rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "kind" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The cow eats the tiger.[(triple1)] The cow is green.[(triple2)] The cow likes the dog.[(triple3)] The cow likes the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The dog is young.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse sees the dog.[(triple9)] The mouse sees the tiger.[(triple10)] The tiger eats the cow.[(triple11)] The tiger is red.[(triple12)]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple4
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple10
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12