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