The bear chases the cow. The bear is nice. The bear needs the cow. The bear sees the cow. The cow chases the bear. The cow is big. The cow is green. The cow is nice. The cow is rough. The cow is young. The cow needs the bear. The cow sees the bear. If something is green and nice then it sees the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If something is green and nice then it sees the bear.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "sees" "bear" "+"))
The bear is nice.
True
1
proof
[(triple2)]
("bear" "is" "nice" "+")
triple2
The bear does not see the cow.
False
1
inv-proof
[(triple4)]
("bear" "sees" "cow" "-")
triple4
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear is nice.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is big.[(triple6)] The cow is green.[(triple7)] The cow is nice.[(triple8)] The cow is rough.[(triple9)] The cow is young.[(triple10)] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12 OR ((triple7 triple8) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is rough.
("cow" "is" "rough" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The cow sees the bear.
("cow" "sees" "bear" "+")
triple12
((triple7 triple8) -> (rule1 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1