The cow likes the tiger. The lion is big. The squirrel is big. The tiger eats the lion. If someone eats the cow then the cow eats the tiger. If the squirrel likes the cow and the squirrel likes the tiger then the squirrel likes the lion. If the squirrel eats the cow then the cow is nice. If someone eats the cow then the cow eats the lion. If the tiger eats the squirrel then the squirrel sees the lion. If someone eats the lion then they eat the squirrel. If someone likes the cow then the cow is big. If someone likes the tiger then they eat the cow.
The cow is big.
@0: The cow likes the tiger.[(triple1)] The lion is big.[(triple2)] The squirrel is big.[(triple3)] The tiger eats the lion.[(triple4)] @1: The cow eats the cow.[(((triple1) -> rule8))] The tiger eats the squirrel.[(((triple4) -> rule6))] @2: The cow eats the lion.[(((((triple1) -> rule8)) -> rule4))] The cow eats the tiger.[(((((triple1) -> rule8)) -> rule1))] The squirrel sees the lion.[(((((triple4) -> rule6)) -> rule5))] @3: The cow eats the squirrel.[(((((((triple1) -> rule8)) -> rule4)) -> rule6))]