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