The cat is green. The cat is rough. The cat likes the dog. The cat likes the lion. The cat needs the dog. The dog is blue. The dog is cold. The dog is red. The dog likes the cat. The dog does not need the tiger. The lion eats the cat. The tiger is cold. The tiger does not like the lion. The tiger does not need the cat. The tiger needs the lion. If someone needs the dog and the dog is cold then they are cold. If someone likes the dog and they need the cat then the cat is green. If someone needs the cat and they eat the lion then the lion does not eat the cat. If someone likes the cat and they do not need the dog then they eat the tiger. If someone eats the dog and they do not like the lion then they eat the tiger. If someone needs the cat then they eat the lion.
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The lion eats the cat.
("lion" "eats" "cat" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
The tiger does not need the cat.
("tiger" "needs" "cat" "-")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone needs the dog and the dog is cold then they are cold.
((("someone" "needs" "dog" "+") ("dog" "is" "cold" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the dog and they need the cat then the cat is green.
((("someone" "likes" "dog" "+") ("someone" "needs" "cat" "+")) -> ("cat" "is" "green" "+"))
If someone needs the cat and they eat the lion then the lion does not eat the cat.
((("someone" "needs" "cat" "+") ("someone" "eats" "lion" "+")) -> ("lion" "eats" "cat" "-"))
If someone likes the cat and they do not need the dog then they eat the tiger.
((("someone" "likes" "cat" "+") ("someone" "needs" "dog" "~")) -> ("someone" "eats" "tiger" "+"))
If someone eats the dog and they do not like the lion then they eat the tiger.
((("someone" "eats" "dog" "+") ("someone" "likes" "lion" "~")) -> ("someone" "eats" "tiger" "+"))
If someone needs the cat then they eat the lion.
((("someone" "needs" "cat" "+")) -> ("someone" "eats" "lion" "+"))
The tiger does not need the cat.
True
1
proof
[(triple14)]
("tiger" "needs" "cat" "-")
triple14
The cat does not like the dog.
False
1
inv-proof
[(triple3)]
("cat" "likes" "dog" "-")
triple3
The cat is cold.
True
3
proof
[(((triple5 triple7) -> rule1))]
("cat" "is" "cold" "+")
((triple5 triple7) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is not cold.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("cat" "is" "cold" "-")
((triple5 triple7) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "eats" "lion" "+")
The dog does not need the lion.
Unknown
inv-random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The cat is green.[(triple1)] The cat is rough.[(triple2)] The cat likes the dog.[(triple3)] The cat likes the lion.[(triple4)] The cat needs the dog.[(triple5)] The dog does not need the tiger.[(triple10)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is red.[(triple8)] The dog likes the cat.[(triple9)] The lion eats the cat.[(triple11)] The tiger does not like the lion.[(triple13)] The tiger does not need the cat.[(triple14)] The tiger is cold.[(triple12)] The tiger needs the lion.[(triple15)] @1: The cat is cold.[(((triple5 triple7) -> rule1))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cat likes the lion.
("cat" "likes" "lion" "+")
triple4
The cat needs the dog.
("cat" "needs" "dog" "+")
triple5
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog likes the cat.
("dog" "likes" "cat" "+")
triple9
The lion eats the cat.
("lion" "eats" "cat" "+")
triple11
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple13
The tiger does not need the cat.
("tiger" "needs" "cat" "-")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple15
The cat is cold.
("cat" "is" "cold" "+")
((triple5 triple7) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1