The cow chases the lion. The dog likes the lion. The lion chases the mouse. The lion is big. The lion is blue. The lion is round. The lion needs the cow. The mouse chases the cow. The mouse needs the dog. The mouse needs the lion. If something chases the lion then the lion likes the mouse.
The cow chases the lion.
("cow" "chases" "lion" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If something chases the lion then the lion likes the mouse.
((("something" "chases" "lion" "+")) -> ("lion" "likes" "mouse" "+"))
The lion chases the mouse.
True
1
proof
[(triple3)]
("lion" "chases" "mouse" "+")
triple3
The lion is not round.
False
1
inv-proof
[(triple6)]
("lion" "is" "round" "-")
triple6
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow chases the lion.[(triple1)] The dog likes the lion.[(triple2)] The lion chases the mouse.[(triple3)] The lion is big.[(triple4)] The lion is blue.[(triple5)] The lion is round.[(triple6)] The lion needs the cow.[(triple7)] The mouse chases the cow.[(triple8)] The mouse needs the dog.[(triple9)] The mouse needs the lion.[(triple10)] @1: The lion likes the mouse.[(((triple1) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the cow.
("lion" "needs" "cow" "+")
triple7
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple8
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((triple1) -> (rule1 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1