The cat chases the rabbit. The dog sees the cat. The rabbit is cold. The tiger is big. If something likes the cat then the cat likes the dog.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The tiger is big.
("tiger" "is" "big" "+")
If something likes the cat then the cat likes the dog.
((("something" "likes" "cat" "+")) -> ("cat" "likes" "dog" "+"))
The dog sees the cat.
True
1
proof
[(triple2)]
("dog" "sees" "cat" "+")
triple2
The dog does not see the cat.
False
1
inv-proof
[(triple2)]
("dog" "sees" "cat" "-")
triple2
The cat does not like the dog.
Unknown
inv-rconc
[@1: The cat likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "dog" "-")
The tiger sees the cat.
Unknown
random
[@0: The tiger sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "cat" "+")
@0: The cat chases the rabbit.[(triple1)] The dog sees the cat.[(triple2)] The rabbit is cold.[(triple3)] The tiger is big.[(triple4)]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The dog sees the cat.
("dog" "sees" "cat" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The tiger is big.
("tiger" "is" "big" "+")
triple4