The bear is blue. The bear sees the dog. The dog sees the bear. If someone sees the bear then they see the dog.
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone sees the bear then they see the dog.
((("someone" "sees" "bear" "+")) -> ("someone" "sees" "dog" "+"))
The dog sees the bear.
True
1
proof
[(triple3)]
("dog" "sees" "bear" "+")
triple3
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The dog sees the dog.
True
2
proof
[(((triple3) -> rule1))]
("dog" "sees" "dog" "+")
((triple3) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "sees" "dog" "-")
((triple3) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
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 is blue.[(triple1)] The bear sees the dog.[(triple2)] The dog sees the bear.[(triple3)] @1: The dog sees the dog.[(((triple3) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The dog sees the bear.
("dog" "sees" "bear" "+")
triple3
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple3) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1