The cat chases the lion. The cat is kind. The cat is rough. The cat sees the lion. The cat sees the rabbit. The cat visits the lion. The cat visits the rabbit. The lion is kind. The lion is rough. The lion is round. The lion is young. The lion sees the cat. The lion sees the rabbit. The lion visits the cat. The rabbit is kind. If someone sees the lion then they chase the lion. If someone sees the rabbit and they see the lion then the lion chases the cat. If someone is nice then they are kind. If someone is rough and they visit the cat then the cat visits the rabbit. If someone visits the lion then they chase the cat. If someone is kind and they chase the cat then they are round.
The lion does not chase the lion.
@0: The cat chases the lion.[(triple1 OR ((triple4) -> rule1))] The cat is kind.[(triple2)] The cat is rough.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the rabbit.[(triple5)] The cat visits the lion.[(triple6)] The cat visits the rabbit.[(triple7 OR ((triple9 triple14) -> rule4))] The lion is kind.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10 OR ((triple8 ((triple5 triple4) -> rule2)) -> rule6))] The lion is young.[(triple11)] The lion sees the cat.[(triple12)] The lion sees the rabbit.[(triple13)] The lion visits the cat.[(triple14)] The rabbit is kind.[(triple15)] @1: The cat chases the cat.[(((triple6) -> rule5))] The lion chases the cat.[(((triple5 triple4) -> rule2))] @2: The cat is round.[(((triple2 ((triple6) -> rule5)) -> rule6))]