The bear eats the cat. The cat eats the bear. The cat is green. The cat sees the bear. The cat visits the rabbit. The cow eats the rabbit. The cow is blue. The cow visits the cat. The cow visits the rabbit. The rabbit eats the bear. The rabbit eats the cat. The rabbit is green. The rabbit is red. The rabbit sees the bear. The rabbit sees the cat. The rabbit visits the cow. If something is green and it visits the cat then it is blue.
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something is green and it visits the cat then it is blue.
((("something" "is" "green" "+") ("something" "visits" "cat" "+")) -> ("something" "is" "blue" "+"))
The cat eats the bear.
True
1
proof
[(triple2)]
("cat" "eats" "bear" "+")
triple2
The cat does not visit the rabbit.
False
1
inv-proof
[(triple5)]
("cat" "visits" "rabbit" "-")
triple5
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The bear eats the cat.[(triple1)] The cat eats the bear.[(triple2)] The cat is green.[(triple3)] The cat sees the bear.[(triple4)] The cat visits the rabbit.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is blue.[(triple7)] The cow visits the cat.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit eats the cat.[(triple11)] The rabbit is green.[(triple12)] The rabbit is red.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit visits the cow.[(triple16)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat sees the bear.
("cat" "sees" "bear" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow visits the cat.
("cow" "visits" "cat" "+")
triple8
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16