The lion chases the mouse. The lion is green. The lion is not nice. The lion is young. The lion likes the mouse. The lion visits the mouse. The mouse chases the lion. The mouse is not big. The mouse is not kind. The mouse is nice. The mouse does not like the lion. The mouse visits the lion. Green things are not kind.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is young.
("lion" "is" "young" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
Green things are not kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
The mouse chases the lion.
True
1
proof
[(triple7)]
("mouse" "chases" "lion" "+")
triple7
The lion is nice.
False
1
inv-proof
[(triple3)]
("lion" "is" "nice" "+")
triple3
The lion is not kind.
True
2
proof
[(((triple2) -> rule1))]
("lion" "is" "kind" "-")
((triple2) -> (rule1 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion is kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
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 mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The lion chases the mouse.[(triple1)] The lion is green.[(triple2)] The lion is not nice.[(triple3)] The lion is young.[(triple4)] The lion likes the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse chases the lion.[(triple7)] The mouse does not like the lion.[(triple11)] The mouse is nice.[(triple10)] The mouse is not big.[(triple8)] The mouse is not kind.[(triple9)] The mouse visits the lion.[(triple12)] @1: The lion is not kind.[(((triple2) -> rule1))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion is not nice.
("lion" "is" "nice" "-")
triple3
The lion is young.
("lion" "is" "young" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple5
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple6
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple7
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The mouse is not big.
("mouse" "is" "big" "-")
triple8
The mouse is not kind.
("mouse" "is" "kind" "-")
triple9
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The lion is not kind.
("lion" "is" "kind" "-")
((triple2) -> (rule1 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1