The bear is blue. The bear is nice. The bear likes the tiger. The lion chases the rabbit. The lion is cold. The lion is nice. The lion is red. The lion likes the bear. The lion likes the rabbit. The lion likes the tiger. The rabbit is cold. The rabbit likes the bear. The rabbit needs the tiger. The tiger is blue. The tiger likes the lion. If someone likes the bear then they are blue. If someone likes the lion and they like the tiger then the lion is red. If the lion is round then the lion needs the rabbit. If someone is blue and cold then they chase the bear. If the tiger likes the rabbit and the rabbit chases the bear then the rabbit likes the lion. If someone likes the bear and they are cold then they like the rabbit.
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone likes the bear then they are blue.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the lion and they like the tiger then the lion is red.
((("someone" "likes" "lion" "+") ("someone" "likes" "tiger" "+")) -> ("lion" "is" "red" "+"))
If the lion is round then the lion needs the rabbit.
((("lion" "is" "round" "+")) -> ("lion" "needs" "rabbit" "+"))
If someone is blue and cold then they chase the bear.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
If the tiger likes the rabbit and the rabbit chases the bear then the rabbit likes the lion.
((("tiger" "likes" "rabbit" "+") ("rabbit" "chases" "bear" "+")) -> ("rabbit" "likes" "lion" "+"))
If someone likes the bear and they are cold then they like the rabbit.
((("someone" "likes" "bear" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "rabbit" "+"))
The rabbit is cold.
True
1
proof
[(triple11)]
("rabbit" "is" "cold" "+")
triple11
The lion does not like the rabbit.
False
1
inv-proof
[(triple9 OR ((triple8 triple5) -> rule6))]
("lion" "likes" "rabbit" "-")
triple9
((triple8 triple5) -> (rule6 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The rabbit is blue.
True
2
proof
[(((triple12) -> rule1))]
("rabbit" "is" "blue" "+")
((triple12) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple12) -> rule1))]
("rabbit" "is" "blue" "-")
((triple12) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The lion chases the bear.
True
4
proof
[(((((triple8) -> rule1) triple5) -> rule4))]
("lion" "chases" "bear" "+")
((((triple8) -> (rule1 % int2)) triple5) -> (rule4 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit does not chase the bear.
False
4
inv-proof
[(((((triple12) -> rule1) triple11) -> rule4))]
("rabbit" "chases" "bear" "-")
((((triple12) -> (rule1 % int2)) triple11) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The bear does not like the rabbit.
Unknown
inv-rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "rabbit" "-")
The tiger likes the rabbit.
Unknown
rconc
[@1: The tiger likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "likes" "rabbit" "+")
The rabbit does not like the lion.
Unknown
inv-rconc
[@2: The rabbit likes the lion.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("rabbit" "likes" "lion" "-")
The tiger chases the rabbit.
Unknown
random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The lion needs the tiger.
Unknown
random
[@0: The lion needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "tiger" "+")
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear likes the tiger.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is cold.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The lion likes the bear.[(triple8)] The lion likes the rabbit.[(triple9 OR ((triple8 triple5) -> rule6))] The lion likes the tiger.[(triple10)] The rabbit is cold.[(triple11)] The rabbit likes the bear.[(triple12)] The rabbit needs the tiger.[(triple13)] The tiger is blue.[(triple14)] The tiger likes the lion.[(triple15)] @1: The lion is blue.[(((triple8) -> rule1))] The rabbit is blue.[(((triple12) -> rule1))] The rabbit likes the rabbit.[(((triple12 triple11) -> rule6))] @2: The lion chases the bear.[(((((triple8) -> rule1) triple5) -> rule4))] The rabbit chases the bear.[(((((triple12) -> rule1) triple11) -> rule4))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple9
((triple8 triple5) -> (rule6 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple12
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15
The lion is blue.
("lion" "is" "blue" "+")
((triple8) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple12) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple12 triple11) -> (rule6 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((((triple8) -> (rule1 % int2)) triple5) -> (rule4 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple12) -> (rule1 % int2)) triple11) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2