The bear eats the cow. The bear likes the lion. The bear likes the mouse. The cow chases the bear. The cow chases the mouse. The cow eats the bear. The cow is nice. The lion chases the cow. The lion chases the mouse. The lion likes the bear. The mouse chases the cow. The mouse chases the lion. If someone is young then they are round. If someone eats the lion then they are young. If someone eats the bear then they eat the lion. If someone is nice and they chase the lion then they like the bear. If someone eats the lion then the lion eats the bear.
The cow is big.
@0: The bear eats the cow.[(triple1)] The bear likes the lion.[(triple2)] The bear likes the mouse.[(triple3)] The cow chases the bear.[(triple4)] The cow chases the mouse.[(triple5)] The cow eats the bear.[(triple6)] The cow is nice.[(triple7)] The lion chases the cow.[(triple8)] The lion chases the mouse.[(triple9)] The lion likes the bear.[(triple10)] The mouse chases the cow.[(triple11)] The mouse chases the lion.[(triple12)] @1: The cow eats the lion.[(((triple6) -> rule3))] @2: The cow is young.[(((((triple6) -> rule3)) -> rule2))] The lion eats the bear.[(((((triple6) -> rule3)) -> rule5))] @3: The cow is round.[(((((((triple6) -> rule3)) -> rule2)) -> rule1))] The lion eats the lion.[(((((((triple6) -> rule3)) -> rule5)) -> rule3))] @4: The lion is young.[(((((((((triple6) -> rule3)) -> rule5)) -> rule3)) -> rule2))] @5: The lion is round.[(((((((((((triple6) -> rule3)) -> rule5)) -> rule3)) -> rule2)) -> rule1))]