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