The bear visits the cat. The bear visits the rabbit. The cat sees the bear. The cat sees the rabbit. The rabbit is blue. The rabbit is young. The rabbit visits the cat. If something visits the rabbit and the rabbit visits the bear then it sees the cat. If something visits the rabbit and the rabbit is green then the rabbit sees the bear.
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something visits the rabbit and the rabbit visits the bear then it sees the cat.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "bear" "+")) -> ("something" "sees" "cat" "+"))
If something visits the rabbit and the rabbit is green then the rabbit sees the bear.
((("something" "visits" "rabbit" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "sees" "bear" "+"))
The cat sees the bear.
True
1
proof
[(triple3)]
("cat" "sees" "bear" "+")
triple3
The cat does not see the rabbit.
False
1
inv-proof
[(triple4)]
("cat" "sees" "rabbit" "-")
triple4
The bear does not see the cat.
Unknown
inv-rconc
[@1: The bear sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "cat" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear visits the cat.[(triple1)] The bear visits the rabbit.[(triple2)] The cat sees the bear.[(triple3)] The cat sees the rabbit.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is young.[(triple6)] The rabbit visits the cat.[(triple7)]
The bear visits the cat.
("bear" "visits" "cat" "+")
triple1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple2
The cat sees the bear.
("cat" "sees" "bear" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple7