The cow eats the lion. The lion likes the cow. If someone eats the lion then the lion is young.
The cow eats the lion.
("cow" "eats" "lion" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone eats the lion then the lion is young.
((("someone" "eats" "lion" "+")) -> ("lion" "is" "young" "+"))
The cow eats the lion.
True
1
proof
[(triple1)]
("cow" "eats" "lion" "+")
triple1
The lion does not like the cow.
False
1
inv-proof
[(triple2)]
("lion" "likes" "cow" "-")
triple2
The lion is young.
True
2
proof
[(((triple1) -> rule1))]
("lion" "is" "young" "+")
((triple1) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "young" "-")
((triple1) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow eats the lion.[(triple1)] The lion likes the cow.[(triple2)] @1: The lion is young.[(((triple1) -> rule1))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The lion likes the cow.
("lion" "likes" "cow" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
((triple1) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1