The bear chases the cat. The bear chases the tiger. The bear does not eat the cat. The bear is cold. The bear is green. The cat is cold. The cat visits the bear. The cat does not visit the tiger. The tiger chases the bear. The tiger visits the bear. If the cat eats the bear and the bear eats the cat then the bear visits the cat. If someone chases the tiger then they are green.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the cat eats the bear and the bear eats the cat then the bear visits the cat.
((("cat" "eats" "bear" "+") ("bear" "eats" "cat" "+")) -> ("bear" "visits" "cat" "+"))
If someone chases the tiger then they are green.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "green" "+"))
The cat does not visit the tiger.
True
1
proof
[(triple8)]
("cat" "visits" "tiger" "-")
triple8
The tiger does not visit the bear.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "bear" "-")
triple10
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "green" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the tiger.[(triple2)] The bear does not eat the cat.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5 OR ((triple2) -> rule2))] The cat does not visit the tiger.[(triple8)] The cat is cold.[(triple6)] The cat visits the bear.[(triple7)] The tiger chases the bear.[(triple9)] The tiger visits the bear.[(triple10)]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
((triple2) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
triple8
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10