The cat is cold. The cat is round. The cat needs the lion. The cat visits the lion. The lion eats the cat. The lion is round. The lion needs the cat. If something visits the cat and the cat is round then it needs the cat. If something needs the lion and it visits the cat then the lion is big. If something visits the cat and the cat is cold then it visits the lion. If something is big and it eats the cat then it visits the cat. If something is big and it eats the lion then it needs the lion. If something eats the lion and it visits the cat then the cat eats the lion. If something needs the lion then it is cold. If the lion needs the cat and the lion visits the cat then the cat eats the lion.
The cat is cold.
("cat" "is" "cold" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something visits the cat and the cat is round then it needs the cat.
((("something" "visits" "cat" "+") ("cat" "is" "round" "+")) -> ("something" "needs" "cat" "+"))
If something needs the lion and it visits the cat then the lion is big.
((("something" "needs" "lion" "+") ("something" "visits" "cat" "+")) -> ("lion" "is" "big" "+"))
If something visits the cat and the cat is cold then it visits the lion.
((("something" "visits" "cat" "+") ("cat" "is" "cold" "+")) -> ("something" "visits" "lion" "+"))
If something is big and it eats the cat then it visits the cat.
((("something" "is" "big" "+") ("something" "eats" "cat" "+")) -> ("something" "visits" "cat" "+"))
If something is big and it eats the lion then it needs the lion.
((("something" "is" "big" "+") ("something" "eats" "lion" "+")) -> ("something" "needs" "lion" "+"))
If something eats the lion and it visits the cat then the cat eats the lion.
((("something" "eats" "lion" "+") ("something" "visits" "cat" "+")) -> ("cat" "eats" "lion" "+"))
If something needs the lion then it is cold.
((("something" "needs" "lion" "+")) -> ("something" "is" "cold" "+"))
If the lion needs the cat and the lion visits the cat then the cat eats the lion.
((("lion" "needs" "cat" "+") ("lion" "visits" "cat" "+")) -> ("cat" "eats" "lion" "+"))
The cat is round.
True
1
proof
[(triple2)]
("cat" "is" "round" "+")
triple2
The lion does not eat the cat.
False
1
inv-proof
[(triple5)]
("lion" "eats" "cat" "-")
triple5
The lion does not visit the lion.
Unknown
inv-rconc
[@3: The lion visits the lion.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule2 <- FAIL)]]
("lion" "visits" "lion" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat is cold.[(triple1 OR ((triple3) -> rule7))] The cat is round.[(triple2)] The cat needs the lion.[(triple3)] The cat visits the lion.[(triple4)] The lion eats the cat.[(triple5)] The lion is round.[(triple6)] The lion needs the cat.[(triple7)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
((triple3) -> (rule7 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat needs the lion.
("cat" "needs" "lion" "+")
triple3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple4
The lion eats the cat.
("lion" "eats" "cat" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the cat.
("lion" "needs" "cat" "+")
triple7