The cat is round. The lion eats the cat. The lion is rough. If something likes the cat and the cat does not eat the lion then it does not see the lion. If something is rough then it likes the cat. If something is green and rough then it is cold.
The cat is round.
("cat" "is" "round" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is rough.
("lion" "is" "rough" "+")
If something likes the cat and the cat does not eat the lion then it does not see the lion.
((("something" "likes" "cat" "+") ("cat" "eats" "lion" "~")) -> ("something" "sees" "lion" "-"))
If something is rough then it likes the cat.
((("something" "is" "rough" "+")) -> ("something" "likes" "cat" "+"))
If something is green and rough then it is cold.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
The cat is round.
True
1
proof
[(triple1)]
("cat" "is" "round" "+")
triple1
The cat is not round.
False
1
inv-proof
[(triple1)]
("cat" "is" "round" "-")
triple1
The lion likes the cat.
True
2
proof
[(((triple3) -> rule2))]
("lion" "likes" "cat" "+")
((triple3) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion does not like the cat.
False
2
inv-proof
[(((triple3) -> rule2))]
("lion" "likes" "cat" "-")
((triple3) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "cat" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "cold" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The cat is round.[(triple1)] The lion eats the cat.[(triple2)] The lion is rough.[(triple3)] @1: The lion likes the cat.[(((triple3) -> rule2))]
The cat is round.
("cat" "is" "round" "+")
triple1
The lion eats the cat.
("lion" "eats" "cat" "+")
triple2
The lion is rough.
("lion" "is" "rough" "+")
triple3
The lion likes the cat.
("lion" "likes" "cat" "+")
((triple3) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1