The bear chases the rabbit. The bear sees the lion. The lion chases the rabbit. The lion chases the squirrel. The lion is green. The lion is young. The lion likes the bear. The lion likes the rabbit. The lion sees the squirrel. The rabbit is cold. The rabbit is young. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is nice. If someone is blue then they like the bear.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone is blue then they like the bear.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "bear" "+"))
The lion likes the bear.
True
1
proof
[(triple7)]
("lion" "likes" "bear" "+")
triple7
The rabbit is not cold.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "cold" "-")
triple10
The squirrel likes the bear.
True
2
proof
[(((triple15) -> rule1))]
("squirrel" "likes" "bear" "+")
((triple15) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel does not like the bear.
False
2
inv-proof
[(((triple15) -> rule1))]
("squirrel" "likes" "bear" "-")
((triple15) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The rabbit does not like the bear.
Unknown
inv-rconc
[@1: The rabbit likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The lion sees the rabbit.
Unknown
random
[@0: The lion sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "rabbit" "+")
@0: The bear chases the rabbit.[(triple1)] The bear sees the lion.[(triple2)] The lion chases the rabbit.[(triple3)] The lion chases the squirrel.[(triple4)] The lion is green.[(triple5)] The lion is young.[(triple6)] The lion likes the bear.[(triple7)] The lion likes the rabbit.[(triple8)] The lion sees the squirrel.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the squirrel.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel chases the bear.[(triple14)] The squirrel is blue.[(triple15)] The squirrel is nice.[(triple16)] @1: The squirrel likes the bear.[(((triple15) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear sees the lion.
("bear" "sees" "lion" "+")
triple2
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the bear.
("lion" "likes" "bear" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple12
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple13
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple14
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple15
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple16
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple15) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1