The cow is big. The cow is blue. The cow is red. The cow likes the lion. The cow likes the tiger. The cow does not see the mouse. The cow visits the tiger. The lion is blue. The lion likes the mouse. The lion sees the cow. The lion visits the cow. The lion visits the mouse. The mouse is nice. The tiger does not like the cow. The tiger does not see the lion. The tiger does not visit the cow. If the lion sees the cow and the lion does not like the tiger then the tiger is blue.
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
If the lion sees the cow and the lion does not like the tiger then the tiger is blue.
((("lion" "sees" "cow" "+") ("lion" "likes" "tiger" "~")) -> ("tiger" "is" "blue" "+"))
The lion visits the cow.
True
1
proof
[(triple11)]
("lion" "visits" "cow" "+")
triple11
The cow is not blue.
False
1
inv-proof
[(triple2)]
("cow" "is" "blue" "-")
triple2
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "blue" "-")
The cow likes the mouse.
Unknown
random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "+")
@0: The cow does not see the mouse.[(triple6)] The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is red.[(triple3)] The cow likes the lion.[(triple4)] The cow likes the tiger.[(triple5)] The cow visits the tiger.[(triple7)] The lion is blue.[(triple8)] The lion likes the mouse.[(triple9)] The lion sees the cow.[(triple10)] The lion visits the cow.[(triple11)] The lion visits the mouse.[(triple12)] The mouse is nice.[(triple13)] The tiger does not like the cow.[(triple14)] The tiger does not see the lion.[(triple15)] The tiger does not visit the cow.[(triple16)]
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
triple6
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple5
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple9
The lion sees the cow.
("lion" "sees" "cow" "+")
triple10
The lion visits the cow.
("lion" "visits" "cow" "+")
triple11
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
triple14
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple15
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
triple16