The bear chases the cow. The bear is big. The bear is nice. The bear is red. The bear needs the cow. The bear visits the cow. The cow chases the bear. The cow is green. The cow is nice. The cow is red. The cow needs the bear. The cow visits the bear. If someone visits the cow and the cow chases the bear then they are green.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone visits the cow and the cow chases the bear then they are green.
((("someone" "visits" "cow" "+") ("cow" "chases" "bear" "+")) -> ("someone" "is" "green" "+"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The bear does not chase the cow.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cow" "-")
triple1
The bear is green.
True
3
proof
[(((triple6 triple7) -> rule1))]
("bear" "is" "green" "+")
((triple6 triple7) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("bear" "is" "green" "-")
((triple6 triple7) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow is green.[(triple8)] The cow is nice.[(triple9)] The cow is red.[(triple10)] The cow needs the bear.[(triple11)] The cow visits the bear.[(triple12)] @1: The bear is green.[(((triple6 triple7) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow is red.
("cow" "is" "red" "+")
triple10
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The cow visits the bear.
("cow" "visits" "bear" "+")
triple12
The bear is green.
("bear" "is" "green" "+")
((triple6 triple7) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1