The cat is cold. The cat is green. The cat likes the lion. The cat does not need the lion. The cat visits the lion. The lion is big. The lion is not blue. The lion is not cold. The lion is green. The lion does not like the cat. The lion needs the cat. The lion visits the cat. If someone visits the lion and they like the lion then the lion is nice. If the cat does not need the lion then the lion is big. If someone needs the lion and they are not big then they need the cat.
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat does not need the lion.
("cat" "needs" "lion" "-")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is green.
("lion" "is" "green" "+")
The lion does not like the cat.
("lion" "likes" "cat" "-")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone visits the lion and they like the lion then the lion is nice.
((("someone" "visits" "lion" "+") ("someone" "likes" "lion" "+")) -> ("lion" "is" "nice" "+"))
If the cat does not need the lion then the lion is big.
((("cat" "needs" "lion" "~")) -> ("lion" "is" "big" "+"))
If someone needs the lion and they are not big then they need the cat.
((("someone" "needs" "lion" "+") ("someone" "is" "big" "~")) -> ("someone" "needs" "cat" "+"))
The cat is green.
True
1
proof
[(triple2)]
("cat" "is" "green" "+")
triple2
The cat does not like the lion.
False
1
inv-proof
[(triple3)]
("cat" "likes" "lion" "-")
triple3
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "cat" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat does not need the lion.[(triple4)] The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat likes the lion.[(triple3)] The cat visits the lion.[(triple5)] The lion does not like the cat.[(triple10)] The lion is big.[(triple6 OR ((triple4) -> rule2))] The lion is green.[(triple9)] The lion is not blue.[(triple7)] The lion is not cold.[(triple8)] The lion needs the cat.[(triple11)] The lion visits the cat.[(triple12)] @1: The lion is nice.[(((triple5 triple3) -> rule1))]
The cat does not need the lion.
("cat" "needs" "lion" "-")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat likes the lion.
("cat" "likes" "lion" "+")
triple3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple5
The lion does not like the cat.
("lion" "likes" "cat" "-")
triple10
The lion is big.
("lion" "is" "big" "+")
triple6
((triple4) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is not blue.
("lion" "is" "blue" "-")
triple7
The lion is not cold.
("lion" "is" "cold" "-")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple11
The lion visits the cat.
("lion" "visits" "cat" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
((triple5 triple3) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1