The bear is red. The bear visits the rabbit. The cow chases the bear. The cow chases the rabbit. The cow is nice. The cow sees the bear. The cow visits the bear. The rabbit is nice. The rabbit sees the bear. The rabbit visits the bear. If someone is big and they see the cow then they chase the rabbit. If someone sees the bear and they chase the cow then they are red. If someone visits the rabbit and they visit the bear then they chase the cow. If someone chases the rabbit then they visit the rabbit. If someone sees the rabbit then they visit the bear. If the cow visits the rabbit then the cow visits the bear.
The rabbit is young.
@0: The bear is red.[(triple1)] The bear visits the rabbit.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the rabbit.[(triple4)] The cow is nice.[(triple5)] The cow sees the bear.[(triple6)] The cow visits the bear.[(triple7 OR ((((triple4) -> rule4)) -> rule6))] The rabbit is nice.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The cow visits the rabbit.[(((triple4) -> rule4))] @2: The cow chases the cow.[(((((triple4) -> rule4) triple7) -> rule3) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule3))] @3: The cow is red.[(((triple6 ((((triple4) -> rule4) triple7) -> rule3)) -> rule2) OR ((triple6 ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule3)) -> rule2))]