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