The bear is young. The bear visits the cow. The bear visits the lion. The cow sees the bear. The lion is young. The lion likes the bear. The lion visits the cow. The rabbit is green. The rabbit likes the cow. The rabbit visits the lion. If someone likes the lion then the lion visits the rabbit. If someone is red then they like the lion. If someone is green then they are red.
The lion likes the lion.
@0: The bear is young.[(triple1)] The bear visits the cow.[(triple2)] The bear visits the lion.[(triple3)] The cow sees the bear.[(triple4)] The lion is young.[(triple5)] The lion likes the bear.[(triple6)] The lion visits the cow.[(triple7)] The rabbit is green.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The rabbit is red.[(((triple8) -> rule3))] @2: The rabbit likes the lion.[(((((triple8) -> rule3)) -> rule2))] @3: The lion visits the rabbit.[(((((((triple8) -> rule3)) -> rule2)) -> rule1))]