The bear is not young. The cat chases the bear. The squirrel needs the bear. If the cat chases the bear then the cat is young. If something needs the bear and it is not young then it does not need the cat.
The bear is not young.
("bear" "is" "young" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If the cat chases the bear then the cat is young.
((("cat" "chases" "bear" "+")) -> ("cat" "is" "young" "+"))
If something needs the bear and it is not young then it does not need the cat.
((("something" "needs" "bear" "+") ("something" "is" "young" "~")) -> ("something" "needs" "cat" "-"))
The cat chases the bear.
True
1
proof
[(triple2)]
("cat" "chases" "bear" "+")
triple2
The squirrel does not need the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "bear" "-")
triple3
The cat is young.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "young" "-")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear does not chase the cat.
Unknown
inv-random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear is not young.[(triple1)] The cat chases the bear.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The cat is young.[(((triple2) -> rule1))]
The bear is not young.
("bear" "is" "young" "-")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1