The cat is blue. The cat sees the tiger. The cat visits the tiger. The lion chases the cat. The lion chases the tiger. The lion is blue. The lion is rough. The lion sees the cat. The lion visits the cat. The tiger chases the lion. The tiger sees the lion. The tiger visits the lion. If the tiger chases the cat then the tiger sees the lion. If the lion is big and the lion is rough then the lion is red.
The cat is blue.
("cat" "is" "blue" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If the tiger chases the cat then the tiger sees the lion.
((("tiger" "chases" "cat" "+")) -> ("tiger" "sees" "lion" "+"))
If the lion is big and the lion is rough then the lion is red.
((("lion" "is" "big" "+") ("lion" "is" "rough" "+")) -> ("lion" "is" "red" "+"))
The cat is blue.
True
1
proof
[(triple1)]
("cat" "is" "blue" "+")
triple1
The lion does not chase the tiger.
False
1
inv-proof
[(triple5)]
("lion" "chases" "tiger" "-")
triple5
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "red" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat is blue.[(triple1)] The cat sees the tiger.[(triple2)] The cat visits the tiger.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the tiger.[(triple5)] The lion is blue.[(triple6)] The lion is rough.[(triple7)] The lion sees the cat.[(triple8)] The lion visits the cat.[(triple9)] The tiger chases the lion.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the lion.[(triple12)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple3
The lion chases the cat.
("lion" "chases" "cat" "+")
triple4
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion sees the cat.
("lion" "sees" "cat" "+")
triple8
The lion visits the cat.
("lion" "visits" "cat" "+")
triple9
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple10
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple11
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12