The cat is blue. The cat visits the tiger. The tiger visits the cat. If something chases the tiger then the tiger visits the cat. If the tiger is cold then the tiger likes the cat. All cold things are red. If something likes the tiger and the tiger is cold then it chases the tiger. If something chases the tiger then the tiger chases the cat. If something chases the tiger and the tiger likes the cat then the tiger visits the cat.
The cat is blue.
("cat" "is" "blue" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something chases the tiger then the tiger visits the cat.
((("something" "chases" "tiger" "+")) -> ("tiger" "visits" "cat" "+"))
If the tiger is cold then the tiger likes the cat.
((("tiger" "is" "cold" "+")) -> ("tiger" "likes" "cat" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something likes the tiger and the tiger is cold then it chases the tiger.
((("something" "likes" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the tiger then the tiger chases the cat.
((("something" "chases" "tiger" "+")) -> ("tiger" "chases" "cat" "+"))
If something chases the tiger and the tiger likes the cat then the tiger visits the cat.
((("something" "chases" "tiger" "+") ("tiger" "likes" "cat" "+")) -> ("tiger" "visits" "cat" "+"))
The cat visits the tiger.
True
1
proof
[(triple2)]
("cat" "visits" "tiger" "+")
triple2
The tiger does not visit the cat.
False
1
inv-proof
[(triple3)]
("tiger" "visits" "cat" "-")
triple3
The tiger does not like the cat.
Unknown
inv-rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "cat" "-")
The cat likes the tiger.
Unknown
random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "+")
@0: The cat is blue.[(triple1)] The cat visits the tiger.[(triple2)] The tiger visits the cat.[(triple3)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple3