The bear chases the dog. The dog sees the bear. If something chases the bear then the bear chases the dog. If something chases the dog then it is not nice.
The bear chases the dog.
("bear" "chases" "dog" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If something chases the bear then the bear chases the dog.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If something chases the dog then it is not nice.
((("something" "chases" "dog" "+")) -> ("something" "is" "nice" "-"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The bear is not nice.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bear chases the dog.[(triple1)] The dog sees the bear.[(triple2)] @1: The bear is not nice.[(((triple1) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The dog sees the bear.
("dog" "sees" "bear" "+")
triple2
The bear is not nice.
("bear" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1