The bear chases the dog. The bear is cold. The bear is young. The bear sees the dog. The dog chases the bear. The dog is green. The dog does not need the bear. If the bear needs the dog and the dog does not need the bear then the bear sees the dog. If the dog chases the bear then the bear is kind. If someone chases the bear then the bear is cold.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is green.
("dog" "is" "green" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
If the bear needs the dog and the dog does not need the bear then the bear sees the dog.
((("bear" "needs" "dog" "+") ("dog" "needs" "bear" "~")) -> ("bear" "sees" "dog" "+"))
If the dog chases the bear then the bear is kind.
((("dog" "chases" "bear" "+")) -> ("bear" "is" "kind" "+"))
If someone chases the bear then the bear is cold.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "cold" "+"))
The bear is young.
True
1
proof
[(triple3)]
("bear" "is" "young" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple6)]
("dog" "is" "green" "-")
triple6
The bear is kind.
True
2
proof
[(((triple5) -> rule2))]
("bear" "is" "kind" "+")
((triple5) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple5) -> rule2))]
("bear" "is" "kind" "-")
((triple5) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
@0: The bear chases the dog.[(triple1)] The bear is cold.[(triple2 OR ((triple5) -> rule3))] The bear is young.[(triple3)] The bear sees the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog does not need the bear.[(triple7)] The dog is green.[(triple6)] @1: The bear is kind.[(((triple5) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
((triple5) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple6
The bear is kind.
("bear" "is" "kind" "+")
((triple5) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1