The cat does not eat the lion. The lion is young. The mouse is not round. All young people are not green.
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The lion is young.
("lion" "is" "young" "+")
The mouse is not round.
("mouse" "is" "round" "-")
All young people are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
The mouse is not round.
True
1
proof
[(triple3)]
("mouse" "is" "round" "-")
triple3
The cat eats the lion.
False
1
inv-proof
[(triple1)]
("cat" "eats" "lion" "+")
triple1
The lion is not green.
True
2
proof
[(((triple2) -> rule1))]
("lion" "is" "green" "-")
((triple2) -> (rule1 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion is green.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "is" "green" "+")
((triple2) -> (rule1 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
@0: The cat does not eat the lion.[(triple1)] The lion is young.[(triple2)] The mouse is not round.[(triple3)] @1: The lion is not green.[(((triple2) -> rule1))]
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple1
The lion is young.
("lion" "is" "young" "+")
triple2
The mouse is not round.
("mouse" "is" "round" "-")
triple3
The lion is not green.
("lion" "is" "green" "-")
((triple2) -> (rule1 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1