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