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