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