The cow is kind. The mouse does not chase the cow. The mouse is kind. The mouse likes the cow. The mouse likes the tiger. The mouse does not need the tiger. The tiger is round. If something is red and not young then it needs the mouse. If something likes the mouse and it chases the cow then the mouse likes the cow. If the tiger needs the mouse and the mouse likes the cow then the mouse needs the tiger.
The cow is kind.
("cow" "is" "kind" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse does not need the tiger.
("mouse" "needs" "tiger" "-")
The tiger is round.
("tiger" "is" "round" "+")
If something is red and not young then it needs the mouse.
((("something" "is" "red" "+") ("something" "is" "young" "~")) -> ("something" "needs" "mouse" "+"))
If something likes the mouse and it chases the cow then the mouse likes the cow.
((("something" "likes" "mouse" "+") ("something" "chases" "cow" "+")) -> ("mouse" "likes" "cow" "+"))
If the tiger needs the mouse and the mouse likes the cow then the mouse needs the tiger.
((("tiger" "needs" "mouse" "+") ("mouse" "likes" "cow" "+")) -> ("mouse" "needs" "tiger" "+"))
The tiger is round.
True
1
proof
[(triple7)]
("tiger" "is" "round" "+")
triple7
The tiger is not round.
False
1
inv-proof
[(triple7)]
("tiger" "is" "round" "-")
triple7
The cow does not need the mouse.
Unknown
inv-rconc
[@1: The cow needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "mouse" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The cow is kind.[(triple1)] The mouse does not chase the cow.[(triple2)] The mouse does not need the tiger.[(triple6)] The mouse is kind.[(triple3)] The mouse likes the cow.[(triple4)] The mouse likes the tiger.[(triple5)] The tiger is round.[(triple7)]
The cow is kind.
("cow" "is" "kind" "+")
triple1
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple2
The mouse does not need the tiger.
("mouse" "needs" "tiger" "-")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple4
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple5
The tiger is round.
("tiger" "is" "round" "+")
triple7