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