The bear is nice. The bear is round. The bear needs the cow. The bear needs the dog. The bear visits the cow. The bear visits the dog. The cow chases the dog. The cow is round. The dog chases the bear. The dog is nice. If something chases the bear and it is rough then it visits the bear. If something needs the dog and it visits the dog then it is red. If something is red and it chases the cow then it needs the bear.
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
If something chases the bear and it is rough then it visits the bear.
((("something" "chases" "bear" "+") ("something" "is" "rough" "+")) -> ("something" "visits" "bear" "+"))
If something needs the dog and it visits the dog then it is red.
((("something" "needs" "dog" "+") ("something" "visits" "dog" "+")) -> ("something" "is" "red" "+"))
If something is red and it chases the cow then it needs the bear.
((("something" "is" "red" "+") ("something" "chases" "cow" "+")) -> ("something" "needs" "bear" "+"))
The cow is round.
True
1
proof
[(triple8)]
("cow" "is" "round" "+")
triple8
The cow does not chase the dog.
False
1
inv-proof
[(triple7)]
("cow" "chases" "dog" "-")
triple7
The bear is red.
True
3
proof
[(((triple4 triple6) -> rule2))]
("bear" "is" "red" "+")
((triple4 triple6) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("bear" "is" "red" "-")
((triple4 triple6) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "red" "-")
The cow needs the bear.
Unknown
rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "bear" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The cow needs the dog.
Unknown
random
[@0: The cow needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "dog" "+")
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the dog.[(triple4)] The bear visits the cow.[(triple5)] The bear visits the dog.[(triple6)] The cow chases the dog.[(triple7)] The cow is round.[(triple8)] The dog chases the bear.[(triple9)] The dog is nice.[(triple10)] @1: The bear is red.[(((triple4 triple6) -> rule2))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The bear visits the dog.
("bear" "visits" "dog" "+")
triple6
The cow chases the dog.
("cow" "chases" "dog" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The bear is red.
("bear" "is" "red" "+")
((triple4 triple6) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1