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