The dog is cold. The rabbit is cold. If something needs the rabbit and it is cold then the rabbit likes the dog.
The dog is cold.
("dog" "is" "cold" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If something needs the rabbit and it is cold then the rabbit likes the dog.
((("something" "needs" "rabbit" "+") ("something" "is" "cold" "+")) -> ("rabbit" "likes" "dog" "+"))
The rabbit is cold.
True
1
proof
[(triple2)]
("rabbit" "is" "cold" "+")
triple2
The dog is not cold.
False
1
inv-proof
[(triple1)]
("dog" "is" "cold" "-")
triple1
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog is cold.[(triple1)] The rabbit is cold.[(triple2)]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2