The cat is big. The cat likes the lion. The dog is big. The dog is cold. The dog sees the cat. The dog sees the squirrel. The lion is red. The lion likes the dog. The squirrel eats the cat. The squirrel eats the lion. The squirrel is kind. The squirrel sees the dog. If something is kind and it eats the squirrel then it likes the squirrel. All red things are big. If something sees the squirrel and the squirrel is cold then the squirrel sees the lion. If something is kind and cold then it likes the squirrel. If something likes the squirrel then the squirrel likes the dog. If something is kind then it likes the lion.
The cat is big.
("cat" "is" "big" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something is kind and it eats the squirrel then it likes the squirrel.
((("something" "is" "kind" "+") ("something" "eats" "squirrel" "+")) -> ("something" "likes" "squirrel" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something sees the squirrel and the squirrel is cold then the squirrel sees the lion.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "sees" "lion" "+"))
If something is kind and cold then it likes the squirrel.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "likes" "squirrel" "+"))
If something likes the squirrel then the squirrel likes the dog.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is kind then it likes the lion.
((("something" "is" "kind" "+")) -> ("something" "likes" "lion" "+"))
The cat likes the lion.
True
1
proof
[(triple2)]
("cat" "likes" "lion" "+")
triple2
The cat does not like the lion.
False
1
inv-proof
[(triple2)]
("cat" "likes" "lion" "-")
triple2
The squirrel likes the lion.
True
2
proof
[(((triple11) -> rule6))]
("squirrel" "likes" "lion" "+")
((triple11) -> (rule6 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel does not like the lion.
False
2
inv-proof
[(((triple11) -> rule6))]
("squirrel" "likes" "lion" "-")
((triple11) -> (rule6 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel does not like the dog.
Unknown
inv-rconc
[@2: The squirrel likes the dog.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("squirrel" "likes" "dog" "-")
The dog likes the squirrel.
Unknown
rconc
[@1: The dog likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "squirrel" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog likes the cat.
Unknown
random
[@0: The dog likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cat" "+")
@0: The cat is big.[(triple1)] The cat likes the lion.[(triple2)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog sees the cat.[(triple5)] The dog sees the squirrel.[(triple6)] The lion is red.[(triple7)] The lion likes the dog.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel is kind.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The lion is big.[(((triple7) -> rule2))] The squirrel likes the lion.[(((triple11) -> rule6))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat likes the lion.
("cat" "likes" "lion" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog sees the cat.
("dog" "sees" "cat" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion likes the dog.
("lion" "likes" "dog" "+")
triple8
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The lion is big.
("lion" "is" "big" "+")
((triple7) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((triple11) -> (rule6 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1