The cat is young. The squirrel chases the cat. The squirrel sees the cat. If something is kind and not round then it is not young. If something is kind then it chases the cat. If something is young then it is not kind.
The cat is young.
("cat" "is" "young" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something is kind and not round then it is not young.
((("something" "is" "kind" "+") ("something" "is" "round" "~")) -> ("something" "is" "young" "-"))
If something is kind then it chases the cat.
((("something" "is" "kind" "+")) -> ("something" "chases" "cat" "+"))
If something is young then it is not kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "-"))
The squirrel chases the cat.
True
1
proof
[(triple2)]
("squirrel" "chases" "cat" "+")
triple2
The squirrel does not see the cat.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "cat" "-")
triple3
The cat is not kind.
True
2
proof
[(((triple1) -> rule3))]
("cat" "is" "kind" "-")
((triple1) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat is kind.
False
2
inv-proof
[(((triple1) -> rule3))]
("cat" "is" "kind" "+")
((triple1) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The squirrel does not like the cat.
Unknown
inv-random
[@0: The squirrel likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cat" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cat is young.[(triple1)] The squirrel chases the cat.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat is not kind.[(((triple1) -> rule3))]
The cat is young.
("cat" "is" "young" "+")
triple1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple3
The cat is not kind.
("cat" "is" "kind" "-")
((triple1) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1