The bear is kind. The dog is blue. The dog is nice. The dog is young. The dog likes the bear. The dog visits the bear. The mouse is young. The mouse likes the bear. The mouse likes the dog. The mouse sees the dog. If someone visits the bear and they are red then the bear is red. If someone is nice and blue then they like the dog.
The bear is kind.
("bear" "is" "kind" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone visits the bear and they are red then the bear is red.
((("someone" "visits" "bear" "+") ("someone" "is" "red" "+")) -> ("bear" "is" "red" "+"))
If someone is nice and blue then they like the dog.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "dog" "+"))
The mouse is young.
True
1
proof
[(triple7)]
("mouse" "is" "young" "+")
triple7
The mouse is not young.
False
1
inv-proof
[(triple7)]
("mouse" "is" "young" "-")
triple7
The dog likes the dog.
True
3
proof
[(((triple3 triple2) -> rule2))]
("dog" "likes" "dog" "+")
((triple3 triple2) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog does not like the dog.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("dog" "likes" "dog" "-")
((triple3 triple2) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "dog" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "+")
The bear does not visit the mouse.
Unknown
inv-random
[@0: The bear visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "mouse" "-")
The dog likes the mouse.
Unknown
random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "+")
@0: The bear is kind.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is young.[(triple4)] The dog likes the bear.[(triple5)] The dog visits the bear.[(triple6)] The mouse is young.[(triple7)] The mouse likes the bear.[(triple8)] The mouse likes the dog.[(triple9)] The mouse sees the dog.[(triple10)] @1: The dog likes the dog.[(((triple3 triple2) -> rule2))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the bear.
("dog" "likes" "bear" "+")
triple5
The dog visits the bear.
("dog" "visits" "bear" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple8
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple9
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple10
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple3 triple2) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1