The dog does not chase the mouse. The dog is green. The dog likes the mouse. The mouse does not eat the dog. The mouse is cold. The mouse is nice. The mouse likes the dog. All green things are not round. If something likes the mouse and it does not like the dog then the dog is nice.
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is green.
("dog" "is" "green" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
All green things are not round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
If something likes the mouse and it does not like the dog then the dog is nice.
((("something" "likes" "mouse" "+") ("something" "likes" "dog" "~")) -> ("dog" "is" "nice" "+"))
The dog likes the mouse.
True
1
proof
[(triple3)]
("dog" "likes" "mouse" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple2)]
("dog" "is" "green" "-")
triple2
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "nice" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The dog does not chase the mouse.[(triple1)] The dog is green.[(triple2)] The dog likes the mouse.[(triple3)] The mouse does not eat the dog.[(triple4)] The mouse is cold.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the dog.[(triple7)] @1: The dog is not round.[(((triple2) -> rule1))]
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple3
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple4
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple7
The dog is not round.
("dog" "is" "round" "-")
((triple2) -> (rule1 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1