The cow chases the lion. The cow is kind. The cow likes the lion. The cow sees the lion. The lion likes the cow. The lion does not like the rabbit. The lion sees the cow. The rabbit chases the cow. The rabbit chases the lion. The rabbit is kind. The rabbit sees the cow. The rabbit sees the lion. If someone is red then they do not like the cow. If someone is nice and red then they like the lion. If someone likes the lion then they are red. If someone chases the lion and they are rough then the lion likes the cow. If someone is big then they do not see the rabbit. If someone likes the lion and they do not like the cow then they are big.
The rabbit is rough.
@0: The cow chases the lion.[(triple1)] The cow is kind.[(triple2)] The cow likes the lion.[(triple3)] The cow sees the lion.[(triple4)] The lion does not like the rabbit.[(triple6)] The lion likes the cow.[(triple5)] The lion sees the cow.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit is kind.[(triple10)] The rabbit sees the cow.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The cow is red.[(((triple3) -> rule3))] @2: The cow does not like the cow.[(((((triple3) -> rule3)) -> rule1))] @3: The cow is big.[(((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule6))] @4: The cow does not see the rabbit.[(((((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule5))]