The mouse sees the tiger. The rabbit does not eat the tiger. The squirrel is nice. The tiger is green. If someone sees the tiger then they eat the mouse. If someone is green then they like the squirrel. If someone is green and they eat the tiger then the tiger does not like the mouse.
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone sees the tiger then they eat the mouse.
((("someone" "sees" "tiger" "+")) -> ("someone" "eats" "mouse" "+"))
If someone is green then they like the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is green and they eat the tiger then the tiger does not like the mouse.
((("someone" "is" "green" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "likes" "mouse" "-"))
The rabbit does not eat the tiger.
True
1
proof
[(triple2)]
("rabbit" "eats" "tiger" "-")
triple2
The tiger is not green.
False
1
inv-proof
[(triple4)]
("tiger" "is" "green" "-")
triple4
The tiger does not eat the mouse.
Unknown
inv-rconc
[@1: The tiger eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "mouse" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The mouse sees the tiger.[(triple1)] The rabbit does not eat the tiger.[(triple2)] The squirrel is nice.[(triple3)] The tiger is green.[(triple4)] @1: The mouse eats the mouse.[(((triple1) -> rule1))] The tiger likes the squirrel.[(((triple4) -> rule2))]
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple1
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
((triple4) -> (rule2 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1