The cat is not big. The cat likes the lion. The cat likes the rabbit. The cat needs the lion. The cat does not visit the rabbit. The lion is cold. The lion is red. The lion likes the cat. The lion likes the rabbit. The lion needs the cat. The rabbit is not big. The rabbit is nice. The rabbit is not red. The rabbit likes the cat. The rabbit likes the lion. The rabbit does not need the lion. If the rabbit does not visit the lion and the rabbit is not cold then the lion likes the cat. If the rabbit likes the cat and the cat likes the lion then the cat is blue. If someone visits the lion then the lion is not big. If someone is red and they do not like the lion then they are not nice. If someone visits the lion then they are nice. Blue people are nice. If the lion needs the rabbit and the lion visits the cat then the rabbit does not need the lion. If someone needs the cat and they do not like the rabbit then they are red.
The cat is not big.
("cat" "is" "big" "-")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
If the rabbit does not visit the lion and the rabbit is not cold then the lion likes the cat.
((("rabbit" "visits" "lion" "~") ("rabbit" "is" "cold" "~")) -> ("lion" "likes" "cat" "+"))
If the rabbit likes the cat and the cat likes the lion then the cat is blue.
((("rabbit" "likes" "cat" "+") ("cat" "likes" "lion" "+")) -> ("cat" "is" "blue" "+"))
If someone visits the lion then the lion is not big.
((("someone" "visits" "lion" "+")) -> ("lion" "is" "big" "-"))
If someone is red and they do not like the lion then they are not nice.
((("someone" "is" "red" "+") ("someone" "likes" "lion" "~")) -> ("someone" "is" "nice" "-"))
If someone visits the lion then they are nice.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "nice" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If the lion needs the rabbit and the lion visits the cat then the rabbit does not need the lion.
((("lion" "needs" "rabbit" "+") ("lion" "visits" "cat" "+")) -> ("rabbit" "needs" "lion" "-"))
If someone needs the cat and they do not like the rabbit then they are red.
((("someone" "needs" "cat" "+") ("someone" "likes" "rabbit" "~")) -> ("someone" "is" "red" "+"))
The cat likes the rabbit.
True
1
proof
[(triple3)]
("cat" "likes" "rabbit" "+")
triple3
The rabbit is big.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "big" "+")
triple11
The cat is blue.
True
3
proof
[(((triple14 triple2) -> rule2))]
("cat" "is" "blue" "+")
((triple14 triple2) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
3
inv-proof
[(((triple14 triple2) -> rule2))]
("cat" "is" "blue" "-")
((triple14 triple2) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is nice.
True
4
proof
[(((((triple14 triple2) -> rule2)) -> rule6))]
("cat" "is" "nice" "+")
((((triple14 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is not nice.
False
4
inv-proof
[(((((triple14 triple2) -> rule2)) -> rule6))]
("cat" "is" "nice" "-")
((((triple14 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "nice" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "red" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The cat does not visit the rabbit.[(triple5)] The cat is not big.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the rabbit.[(triple3)] The cat needs the lion.[(triple4)] The lion is cold.[(triple6)] The lion is red.[(triple7)] The lion likes the cat.[(triple8)] The lion likes the rabbit.[(triple9)] The lion needs the cat.[(triple10)] The rabbit does not need the lion.[(triple16)] The rabbit is nice.[(triple12)] The rabbit is not big.[(triple11)] The rabbit is not red.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The cat is blue.[(((triple14 triple2) -> rule2))] @2: The cat is nice.[(((((triple14 triple2) -> rule2)) -> rule6))]
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
triple5
The cat is not big.
("cat" "is" "big" "-")
triple1
The cat likes the lion.
("cat" "likes" "lion" "+")
triple2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The cat needs the lion.
("cat" "needs" "lion" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion likes the cat.
("lion" "likes" "cat" "+")
triple8
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple16
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is not big.
("rabbit" "is" "big" "-")
triple11
The rabbit is not red.
("rabbit" "is" "red" "-")
triple13
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple14
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple15
The cat is blue.
("cat" "is" "blue" "+")
((triple14 triple2) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((((triple14 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2