The cat is kind. The cat likes the rabbit. The cat sees the rabbit. The rabbit chases the cat. The rabbit is big. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit likes the cat. The rabbit sees the cat. If someone chases the cat and they are kind then the cat chases the rabbit. If someone chases the rabbit and the rabbit sees the cat then they chase the cat.
The rabbit is kind.
@0: The cat is kind.[(triple1)] The cat likes the rabbit.[(triple2)] The cat sees the rabbit.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit is big.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The cat chases the rabbit.[(((triple4 triple6) -> rule1))] @2: The cat chases the cat.[(((((triple4 triple6) -> rule1) triple10) -> rule2))]