The lion chases the mouse. The lion eats the mouse. The lion is blue. The lion is green. The lion is rough. The lion is round. The lion likes the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is blue. The mouse is not green. The mouse likes the lion. If something chases the lion then it is blue.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If something chases the lion then it is blue.
((("something" "chases" "lion" "+")) -> ("something" "is" "blue" "+"))
The mouse eats the lion.
True
1
proof
[(triple9)]
("mouse" "eats" "lion" "+")
triple9
The mouse does not eat the lion.
False
1
inv-proof
[(triple9)]
("mouse" "eats" "lion" "-")
triple9
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion likes the mouse.[(triple7)] The mouse chases the lion.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is blue.[(triple10 OR ((triple8) -> rule1))] The mouse is not green.[(triple11)] The mouse likes the lion.[(triple12)]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple7
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple8
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
((triple8) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not green.
("mouse" "is" "green" "-")
triple11
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple12