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