The bear likes the rabbit. The bear visits the lion. The cat is nice. The lion is rough. The rabbit is kind. The rabbit likes the cat. The rabbit visits the cat. If someone chases the rabbit then they are kind. If someone chases the rabbit then they visit the rabbit. If someone is rough then they visit the rabbit. If someone likes the bear then the bear chases the lion. If someone visits the cat and the cat chases the bear then the cat is kind. If someone visits the rabbit and they are rough then the rabbit is rough.
The cat does not visit the rabbit.
@0: The bear likes the rabbit.[(triple1)] The bear visits the lion.[(triple2)] The cat is nice.[(triple3)] The lion is rough.[(triple4)] The rabbit is kind.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The lion visits the rabbit.[(((triple4) -> rule3))] @2: The rabbit is rough.[(((((triple4) -> rule3) triple4) -> rule6))] @3: The rabbit visits the rabbit.[(((((((triple4) -> rule3) triple4) -> rule6)) -> rule3))]