The bear chases the lion. The bear is nice. The bear likes the squirrel. The bear visits the lion. The lion is cold. The lion is nice. The lion is red. The lion likes the bear. The lion visits the bear. The lion visits the squirrel. The squirrel chases the lion. The squirrel is round. The squirrel likes the bear. The squirrel visits the bear. The squirrel visits the lion. If someone chases the lion then the lion is blue.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
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 visits the bear.
("lion" "visits" "bear" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone chases the lion then the lion is blue.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "blue" "+"))
The squirrel is round.
True
1
proof
[(triple12)]
("squirrel" "is" "round" "+")
triple12
The bear does not visit the lion.
False
1
inv-proof
[(triple4)]
("bear" "visits" "lion" "-")
triple4
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear chases the lion.[(triple1)] The bear is nice.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the lion.[(triple4)] The lion is cold.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The lion likes the bear.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the squirrel.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel visits the bear.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion is blue.[(((triple1) -> rule1) OR ((triple11) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
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 visits the bear.
("lion" "visits" "bear" "+")
triple9
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple10
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple13
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple14
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15
The lion is blue.
("lion" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
((triple11) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1