The cat chases the rabbit. The cat chases the tiger. The cat does not eat the rabbit. The rabbit eats the tiger. The rabbit is round. The rabbit likes the cat. The rabbit likes the tiger. The tiger chases the cat. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is big. The tiger likes the rabbit. If the rabbit eats the tiger and the rabbit is not nice then the rabbit is cold.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If the rabbit eats the tiger and the rabbit is not nice then the rabbit is cold.
((("rabbit" "eats" "tiger" "+") ("rabbit" "is" "nice" "~")) -> ("rabbit" "is" "cold" "+"))
The rabbit is round.
True
1
proof
[(triple5)]
("rabbit" "is" "round" "+")
triple5
The cat eats the rabbit.
False
1
inv-proof
[(triple3)]
("cat" "eats" "rabbit" "+")
triple3
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "cold" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The cat chases the rabbit.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not eat the rabbit.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit likes the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger is big.[(triple11)] The tiger likes the rabbit.[(triple12)]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple3
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple7
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple8
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple9
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12