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