The bear sees the lion. The bear sees the rabbit. The lion is blue. The lion is cold. The lion is rough. The rabbit chases the bear. The rabbit chases the lion. The rabbit is blue. The rabbit is nice. The rabbit is rough. The squirrel chases the rabbit. The squirrel needs the rabbit. If something is rough and nice then it sees the squirrel. If something chases the rabbit and the rabbit sees the lion then it is cold. If the rabbit needs the bear then the rabbit sees the bear. If something chases the rabbit then the rabbit is young. If the lion chases the bear then the bear sees the lion. If something needs the rabbit and it needs the bear then the bear needs the squirrel. If the squirrel needs the bear and the bear is young then the bear chases the rabbit. If the lion is cold and the lion is nice then the lion sees the squirrel.
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is rough.
("lion" "is" "rough" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something is rough and nice then it sees the squirrel.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "sees" "squirrel" "+"))
If something chases the rabbit and the rabbit sees the lion then it is cold.
((("something" "chases" "rabbit" "+") ("rabbit" "sees" "lion" "+")) -> ("something" "is" "cold" "+"))
If the rabbit needs the bear then the rabbit sees the bear.
((("rabbit" "needs" "bear" "+")) -> ("rabbit" "sees" "bear" "+"))
If something chases the rabbit then the rabbit is young.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If the lion chases the bear then the bear sees the lion.
((("lion" "chases" "bear" "+")) -> ("bear" "sees" "lion" "+"))
If something needs the rabbit and it needs the bear then the bear needs the squirrel.
((("something" "needs" "rabbit" "+") ("something" "needs" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
If the squirrel needs the bear and the bear is young then the bear chases the rabbit.
((("squirrel" "needs" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "chases" "rabbit" "+"))
If the lion is cold and the lion is nice then the lion sees the squirrel.
((("lion" "is" "cold" "+") ("lion" "is" "nice" "+")) -> ("lion" "sees" "squirrel" "+"))
The lion is blue.
True
1
proof
[(triple3)]
("lion" "is" "blue" "+")
triple3
The lion is not blue.
False
1
inv-proof
[(triple3)]
("lion" "is" "blue" "-")
triple3
The rabbit does not see the bear.
Unknown
inv-rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "bear" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bear sees the lion.[(triple1)] The bear sees the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is rough.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is rough.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The rabbit is young.[(((triple11) -> rule4))] The rabbit sees the squirrel.[(((triple10 triple9) -> rule1))]
The bear sees the lion.
("bear" "sees" "lion" "+")
triple1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple11
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
((triple11) -> (rule4 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
((triple10 triple9) -> (rule1 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1