The cow is cold. The lion needs the cow. The tiger is cold. If something is green then it likes the cow. If something likes the tiger then the tiger is kind. If something eats the tiger and the tiger is cold then it is red. All red things are kind. If something eats the cow and the cow eats the tiger then the cow eats the lion. If something likes the cow and it likes the lion then the cow is green.
The cow is cold.
("cow" "is" "cold" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something is green then it likes the cow.
((("something" "is" "green" "+")) -> ("something" "likes" "cow" "+"))
If something likes the tiger then the tiger is kind.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If something eats the tiger and the tiger is cold then it is red.
((("something" "eats" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something eats the cow and the cow eats the tiger then the cow eats the lion.
((("something" "eats" "cow" "+") ("cow" "eats" "tiger" "+")) -> ("cow" "eats" "lion" "+"))
If something likes the cow and it likes the lion then the cow is green.
((("something" "likes" "cow" "+") ("something" "likes" "lion" "+")) -> ("cow" "is" "green" "+"))
The tiger is cold.
True
1
proof
[(triple3)]
("tiger" "is" "cold" "+")
triple3
The lion does not need the cow.
False
1
inv-proof
[(triple2)]
("lion" "needs" "cow" "-")
triple2
The tiger is not kind.
Unknown
inv-rconc
[@2: The tiger is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("tiger" "is" "kind" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The cow is cold.[(triple1)] The lion needs the cow.[(triple2)] The tiger is cold.[(triple3)]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The lion needs the cow.
("lion" "needs" "cow" "+")
triple2
The tiger is cold.
("tiger" "is" "cold" "+")
triple3