The cat eats the lion. The cat is rough. The cat needs the tiger. The cat sees the tiger. The lion eats the mouse. The lion is rough. The mouse eats the lion. The mouse is blue. The mouse needs the lion. The mouse sees the cat. The mouse sees the lion. The tiger eats the lion. The tiger is green. The tiger is kind. The tiger needs the mouse. All blue, young things are rough. If something is kind and it sees the mouse then it sees the tiger. If something needs the cat then the cat needs the tiger.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
All blue, young things are rough.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is kind and it sees the mouse then it sees the tiger.
((("something" "is" "kind" "+") ("something" "sees" "mouse" "+")) -> ("something" "sees" "tiger" "+"))
If something needs the cat then the cat needs the tiger.
((("something" "needs" "cat" "+")) -> ("cat" "needs" "tiger" "+"))
The tiger is kind.
True
1
proof
[(triple14)]
("tiger" "is" "kind" "+")
triple14
The tiger does not eat the lion.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "lion" "-")
triple12
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "rough" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The cat eats the lion.[(triple1)] The cat is rough.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The lion eats the mouse.[(triple5)] The lion is rough.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is blue.[(triple8)] The mouse needs the lion.[(triple9)] The mouse sees the cat.[(triple10)] The mouse sees the lion.[(triple11)] The tiger eats the lion.[(triple12)] The tiger is green.[(triple13)] The tiger is kind.[(triple14)] The tiger needs the mouse.[(triple15)]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple3
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple4
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple9
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple11
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple15