The lion likes the mouse. The mouse sees the lion. If someone sees the lion then the lion sees the mouse. If someone sees the lion and they are big then the lion likes the mouse.
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If someone sees the lion then the lion sees the mouse.
((("someone" "sees" "lion" "+")) -> ("lion" "sees" "mouse" "+"))
If someone sees the lion and they are big then the lion likes the mouse.
((("someone" "sees" "lion" "+") ("someone" "is" "big" "+")) -> ("lion" "likes" "mouse" "+"))
The mouse sees the lion.
True
1
proof
[(triple2)]
("mouse" "sees" "lion" "+")
triple2
The mouse does not see the lion.
False
1
inv-proof
[(triple2)]
("mouse" "sees" "lion" "-")
triple2
The lion sees the mouse.
True
2
proof
[(((triple2) -> rule1))]
("lion" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion does not see the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "sees" "mouse" "-")
((triple2) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The lion visits the mouse.
Unknown
random
[@0: The lion visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "mouse" "+")
@0: The lion likes the mouse.[(triple1)] The mouse sees the lion.[(triple2)] @1: The lion sees the mouse.[(((triple2) -> rule1))]
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1