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