The bear is nice. The bear sees the squirrel. The cat is green. The cat needs the bear. The rabbit sees the bear. The rabbit visits the bear. The squirrel needs the bear. If something sees the bear then the bear is not young. If something sees the squirrel and the squirrel is green then the squirrel is not kind.
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something sees the bear then the bear is not young.
((("something" "sees" "bear" "+")) -> ("bear" "is" "young" "-"))
If something sees the squirrel and the squirrel is green then the squirrel is not kind.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "kind" "-"))
The bear is nice.
True
1
proof
[(triple1)]
("bear" "is" "nice" "+")
triple1
The cat is not green.
False
1
inv-proof
[(triple3)]
("cat" "is" "green" "-")
triple3
The bear is not young.
True
2
proof
[(((triple5) -> rule1))]
("bear" "is" "young" "-")
((triple5) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is young.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "is" "young" "+")
((triple5) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The rabbit sees the squirrel.
Unknown
random
[@0: The rabbit sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "squirrel" "+")
The squirrel does not visit the rabbit.
Unknown
inv-random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear is nice.[(triple1)] The bear sees the squirrel.[(triple2)] The cat is green.[(triple3)] The cat needs the bear.[(triple4)] The rabbit sees the bear.[(triple5)] The rabbit visits the bear.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The bear is not young.[(((triple5) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat needs the bear.
("cat" "needs" "bear" "+")
triple4
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple5
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple6
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple7
The bear is not young.
("bear" "is" "young" "-")
((triple5) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1