The bear chases the dog. The bear is green. The bear is red. The bear needs the dog. The dog chases the bear. The dog is green. The dog is nice. The dog is red. The dog is young. The dog needs the bear. If someone chases the dog and they see the bear then the dog chases the bear. If someone sees the bear then the bear is rough.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If someone chases the dog and they see the bear then the dog chases the bear.
((("someone" "chases" "dog" "+") ("someone" "sees" "bear" "+")) -> ("dog" "chases" "bear" "+"))
If someone sees the bear then the bear is rough.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "rough" "+"))
The dog chases the bear.
True
1
proof
[(triple5)]
("dog" "chases" "bear" "+")
triple5
The dog is not nice.
False
1
inv-proof
[(triple7)]
("dog" "is" "nice" "-")
triple7
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear needs the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog is green.[(triple6)] The dog is nice.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog needs the bear.[(triple10)]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10