The cat is not big. The cat is cold. The cat is rough. The cat does not visit the lion. The cow is nice. The cow likes the cat. The cow sees the lion. The lion is kind. The lion sees the cat. The lion sees the squirrel. The lion visits the cat. The lion visits the cow. The squirrel likes the cat. The squirrel visits the cow. The squirrel visits the lion. If the squirrel likes the lion and the lion likes the squirrel then the squirrel is big. Big things are nice.
The cat is not big.
("cat" "is" "big" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not visit the lion.
("cat" "visits" "lion" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the squirrel likes the lion and the lion likes the squirrel then the squirrel is big.
((("squirrel" "likes" "lion" "+") ("lion" "likes" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
The cow likes the cat.
True
1
proof
[(triple6)]
("cow" "likes" "cat" "+")
triple6
The squirrel does not visit the lion.
False
1
inv-proof
[(triple15)]
("squirrel" "visits" "lion" "-")
triple15
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "nice" "-")
The lion likes the cat.
Unknown
random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "+")
@0: The cat does not visit the lion.[(triple4)] The cat is cold.[(triple2)] The cat is not big.[(triple1)] The cat is rough.[(triple3)] The cow is nice.[(triple5)] The cow likes the cat.[(triple6)] The cow sees the lion.[(triple7)] The lion is kind.[(triple8)] The lion sees the cat.[(triple9)] The lion sees the squirrel.[(triple10)] The lion visits the cat.[(triple11)] The lion visits the cow.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the lion.[(triple15)]
The cat does not visit the lion.
("cat" "visits" "lion" "-")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is not big.
("cat" "is" "big" "-")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow likes the cat.
("cow" "likes" "cat" "+")
triple6
The cow sees the lion.
("cow" "sees" "lion" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion sees the cat.
("lion" "sees" "cat" "+")
triple9
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple10
The lion visits the cat.
("lion" "visits" "cat" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple13
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple14
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15