The cat chases the lion. The cat visits the lion. The lion does not eat the cat. If something chases the lion then the lion visits the cat.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
If something chases the lion then the lion visits the cat.
((("something" "chases" "lion" "+")) -> ("lion" "visits" "cat" "+"))
The cat visits the lion.
True
1
proof
[(triple2)]
("cat" "visits" "lion" "+")
triple2
The cat does not visit the lion.
False
1
inv-proof
[(triple2)]
("cat" "visits" "lion" "-")
triple2
The lion visits the cat.
True
2
proof
[(((triple1) -> rule1))]
("lion" "visits" "cat" "+")
((triple1) -> (rule1 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The lion does not visit the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "visits" "cat" "-")
((triple1) -> (rule1 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat chases the lion.[(triple1)] The cat visits the lion.[(triple2)] The lion does not eat the cat.[(triple3)] @1: The lion visits the cat.[(((triple1) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat visits the lion.
("cat" "visits" "lion" "+")
triple2
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple3
The lion visits the cat.
("lion" "visits" "cat" "+")
((triple1) -> (rule1 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1