The dog is green. The lion sees the mouse. The mouse is young. The rabbit sees the mouse. If something is young then it likes the dog. If something eats the mouse then the mouse sees the lion. If something is rough then it eats the mouse. If something is green then it eats the lion. If the dog eats the mouse then the mouse is nice. If something eats the mouse and it is green then it likes the lion.
The dog is green.
("dog" "is" "green" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something is young then it likes the dog.
((("something" "is" "young" "+")) -> ("something" "likes" "dog" "+"))
If something eats the mouse then the mouse sees the lion.
((("something" "eats" "mouse" "+")) -> ("mouse" "sees" "lion" "+"))
If something is rough then it eats the mouse.
((("something" "is" "rough" "+")) -> ("something" "eats" "mouse" "+"))
If something is green then it eats the lion.
((("something" "is" "green" "+")) -> ("something" "eats" "lion" "+"))
If the dog eats the mouse then the mouse is nice.
((("dog" "eats" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If something eats the mouse and it is green then it likes the lion.
((("something" "eats" "mouse" "+") ("something" "is" "green" "+")) -> ("something" "likes" "lion" "+"))
The dog is green.
True
1
proof
[(triple1)]
("dog" "is" "green" "+")
triple1
The lion does not see the mouse.
False
1
inv-proof
[(triple2)]
("lion" "sees" "mouse" "-")
triple2
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The dog is green.[(triple1)] The lion sees the mouse.[(triple2)] The mouse is young.[(triple3)] The rabbit sees the mouse.[(triple4)] @1: The dog eats the lion.[(((triple1) -> rule4))] The mouse likes the dog.[(((triple3) -> rule1))]
The dog is green.
("dog" "is" "green" "+")
triple1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple4
The dog eats the lion.
("dog" "eats" "lion" "+")
((triple1) -> (rule4 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The mouse likes the dog.
("mouse" "likes" "dog" "+")
((triple3) -> (rule1 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1