The bear sees the dog. The cat visits the dog. The cow is rough. The cow sees the bear. The dog is blue. The dog is kind. The dog sees the cat. If something is rough then it is kind.
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
The dog sees the cat.
True
1
proof
[(triple7)]
("dog" "sees" "cat" "+")
triple7
The bear does not see the dog.
False
1
inv-proof
[(triple1)]
("bear" "sees" "dog" "-")
triple1
The cow is kind.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "kind" "-")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear sees the dog.[(triple1)] The cat visits the dog.[(triple2)] The cow is rough.[(triple3)] The cow sees the bear.[(triple4)] The dog is blue.[(triple5)] The dog is kind.[(triple6)] The dog sees the cat.[(triple7)] @1: The cow is kind.[(((triple3) -> rule1))]
The bear sees the dog.
("bear" "sees" "dog" "+")
triple1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow sees the bear.
("cow" "sees" "bear" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog sees the cat.
("dog" "sees" "cat" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1