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