The cat is round. The lion does not see the tiger. The squirrel is not red. The tiger is kind. If someone visits the squirrel then the squirrel likes the lion. If someone is round then they visit the cat.
The cat is round.
("cat" "is" "round" "+")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The squirrel is not red.
("squirrel" "is" "red" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone visits the squirrel then the squirrel likes the lion.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
If someone is round then they visit the cat.
((("someone" "is" "round" "+")) -> ("someone" "visits" "cat" "+"))
The cat is round.
True
1
proof
[(triple1)]
("cat" "is" "round" "+")
triple1
The lion sees the tiger.
False
1
inv-proof
[(triple2)]
("lion" "sees" "tiger" "+")
triple2
The cat visits the cat.
True
2
proof
[(((triple1) -> rule2))]
("cat" "visits" "cat" "+")
((triple1) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat does not visit the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("cat" "visits" "cat" "-")
((triple1) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The tiger does not visit the cat.
Unknown
inv-rconc
[@1: The tiger visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "cat" "-")
The squirrel likes the lion.
Unknown
rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "lion" "+")
The lion does not like the tiger.
Unknown
inv-random
[@0: The lion likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "tiger" "-")
The lion visits the squirrel.
Unknown
random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "+")
@0: The cat is round.[(triple1)] The lion does not see the tiger.[(triple2)] The squirrel is not red.[(triple3)] The tiger is kind.[(triple4)] @1: The cat visits the cat.[(((triple1) -> rule2))]
The cat is round.
("cat" "is" "round" "+")
triple1
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple2
The squirrel is not red.
("squirrel" "is" "red" "-")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple1) -> (rule2 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1