The lion chases the squirrel. The lion is big. The lion is round. The lion likes the squirrel. The lion visits the squirrel. The squirrel is big. The squirrel likes the lion. If someone likes the lion then the lion is blue. If someone is rough then they are not big.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If someone likes the lion then the lion is blue.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If someone is rough then they are not big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
The squirrel is big.
True
1
proof
[(triple6)]
("squirrel" "is" "big" "+")
triple6
The lion is not big.
False
1
inv-proof
[(triple2)]
("lion" "is" "big" "-")
triple2
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
@0: The lion chases the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is round.[(triple3)] The lion likes the squirrel.[(triple4)] The lion visits the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The lion is blue.[(((triple7) -> rule1))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
((triple7) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1