The bear is not young. The cat is cold. The rabbit is not kind. If someone is cold then they visit the rabbit.
The bear is not young.
("bear" "is" "young" "-")
The cat is cold.
("cat" "is" "cold" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
If someone is cold then they visit the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "rabbit" "+"))
The rabbit is not kind.
True
1
proof
[(triple3)]
("rabbit" "is" "kind" "-")
triple3
The rabbit is kind.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "kind" "+")
triple3
The cat visits the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("cat" "visits" "rabbit" "+")
((triple2) -> (rule1 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The cat does not visit the rabbit.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "visits" "rabbit" "-")
((triple2) -> (rule1 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The bear visits the rabbit.
Unknown
rconc
[@1: The bear visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "rabbit" "+")
The rabbit does not need the cat.
Unknown
inv-random
[@0: The rabbit needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cat" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bear is not young.[(triple1)] The cat is cold.[(triple2)] The rabbit is not kind.[(triple3)] @1: The cat visits the rabbit.[(((triple2) -> rule1))]
The bear is not young.
("bear" "is" "young" "-")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
((triple2) -> (rule1 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1