The cow sees the lion. The lion sees the cow. If someone eats the lion then the lion sees the cow. If the cow sees the lion then the lion is nice.
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If someone eats the lion then the lion sees the cow.
((("someone" "eats" "lion" "+")) -> ("lion" "sees" "cow" "+"))
If the cow sees the lion then the lion is nice.
((("cow" "sees" "lion" "+")) -> ("lion" "is" "nice" "+"))
The lion sees the cow.
True
1
proof
[(triple2)]
("lion" "sees" "cow" "+")
triple2
The lion does not see the cow.
False
1
inv-proof
[(triple2)]
("lion" "sees" "cow" "-")
triple2
The lion is nice.
True
2
proof
[(((triple1) -> rule2))]
("lion" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("lion" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion does not eat the cow.
Unknown
inv-random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The cow sees the lion.[(triple1)] The lion sees the cow.[(triple2)] @1: The lion is nice.[(((triple1) -> rule2))]
The cow sees the lion.
("cow" "sees" "lion" "+")
triple1
The lion sees the cow.
("lion" "sees" "cow" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1