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