The lion is big. The lion is red. The mouse does not chase the lion. The mouse chases the squirrel. The mouse eats the lion. The mouse is big. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the lion. The mouse likes the squirrel. The squirrel chases the lion. The squirrel does not eat the mouse. The squirrel is young. The squirrel does not like the mouse. If something chases the lion then the lion chases the squirrel.
The lion is big.
("lion" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
If something chases the lion then the lion chases the squirrel.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
The mouse is red.
True
1
proof
[(triple8)]
("mouse" "is" "red" "+")
triple8
The mouse is not big.
False
1
inv-proof
[(triple6)]
("mouse" "is" "big" "-")
triple6
The lion chases the squirrel.
True
2
proof
[(((triple12) -> rule1))]
("lion" "chases" "squirrel" "+")
((triple12) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion does not chase the squirrel.
False
2
inv-proof
[(((triple12) -> rule1))]
("lion" "chases" "squirrel" "-")
((triple12) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The mouse does not eat the squirrel.
Unknown
inv-random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The lion does not chase the mouse.
Unknown
inv-random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The lion is big.[(triple1)] The lion is red.[(triple2)] The mouse chases the squirrel.[(triple4)] The mouse does not chase the lion.[(triple3)] The mouse eats the lion.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse is young.[(triple9)] The mouse likes the lion.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel does not eat the mouse.[(triple13)] The squirrel does not like the mouse.[(triple15)] The squirrel is young.[(triple14)] @1: The lion chases the squirrel.[(((triple12) -> rule1))]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple4
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
triple3
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple10
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple13
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
triple15
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((triple12) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1