The cow does not eat the lion. The lion visits the cow. The squirrel sees the tiger. The tiger eats the cow. The tiger eats the squirrel. The tiger sees the lion. The tiger visits the lion. If something is blue and it eats the cow then the cow is big. If the tiger eats the squirrel and the squirrel sees the tiger then the tiger is blue. If the cow visits the tiger then the tiger is blue. All big things are rough. If something sees the squirrel then the squirrel does not eat the lion. If something sees the cow and it does not visit the tiger then it eats the lion.
The cow is big.
@0: The cow does not eat the lion.[(triple1)] The lion visits the cow.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger eats the cow.[(triple4)] The tiger eats the squirrel.[(triple5)] The tiger sees the lion.[(triple6)] The tiger visits the lion.[(triple7)] @1: The tiger is blue.[(((triple5 triple3) -> rule2))] @2: The cow is big.[(((((triple5 triple3) -> rule2) triple4) -> rule1))] @3: The cow is rough.[(((((((triple5 triple3) -> rule2) triple4) -> rule1)) -> rule4))]