The cat needs the tiger. The squirrel needs the tiger. The tiger is nice. If the squirrel needs the tiger then the squirrel is kind. If something eats the tiger then it eats the cat.
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If the squirrel needs the tiger then the squirrel is kind.
((("squirrel" "needs" "tiger" "+")) -> ("squirrel" "is" "kind" "+"))
If something eats the tiger then it eats the cat.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "cat" "+"))
The tiger is nice.
True
1
proof
[(triple3)]
("tiger" "is" "nice" "+")
triple3
The tiger is not nice.
False
1
inv-proof
[(triple3)]
("tiger" "is" "nice" "-")
triple3
The squirrel is kind.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "kind" "-")
((triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "cat" "-")
The squirrel eats the cat.
Unknown
rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "cat" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The cat needs the tiger.[(triple1)] The squirrel needs the tiger.[(triple2)] The tiger is nice.[(triple3)] @1: The squirrel is kind.[(((triple2) -> rule1))]
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1