The cat chases the lion. The cat eats the rabbit. The cat is green. The dog chases the lion. The dog eats the rabbit. The dog is blue. The dog is green. The lion eats the cat. The lion eats the dog. The rabbit chases the lion. The rabbit is young. The rabbit sees the cat. Green people are big. If someone sees the dog then the dog sees the lion. If someone is green and young then they chase the dog. If someone eats the cat and they are green then the cat eats the rabbit. If someone is big and they chase the dog then they eat the lion. Young people are green.
The dog is big.
@0: The cat chases the lion.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The dog chases the lion.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is blue.[(triple6)] The dog is green.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the dog.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is young.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The cat is big.[(((triple3) -> rule1))] The dog is big.[(((triple7) -> rule1))] The rabbit is green.[(((triple11) -> rule6))] @2: The rabbit chases the dog.[(((((triple11) -> rule6) triple11) -> rule3))] The rabbit is big.[(((((triple11) -> rule6)) -> rule1))] @3: The rabbit eats the lion.[(((((((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6) triple11) -> rule3)) -> rule5))]