The cat chases the lion. The cat is rough. The cat is young. The cat needs the lion. The cat needs the rabbit. The dog is green. The dog is young. The dog likes the cat. The lion is blue. The lion is green. The rabbit chases the lion. The rabbit is blue. The rabbit is rough. The rabbit likes the dog. The rabbit needs the dog. The rabbit needs the lion. If someone chases the lion then they are round. If the lion needs the rabbit and the rabbit chases the dog then the lion likes the dog. If someone is round and they chase the lion then they need the cat. If someone needs the cat and they chase the dog then they like the rabbit. If someone chases the lion and the lion is blue then the lion is round. If someone chases the rabbit then they are rough. If someone is rough and they like the rabbit then the rabbit is young. If the rabbit chases the cat and the cat needs the lion then the rabbit is young. If someone is round and they need the cat then they chase the dog.
The cat does not chase the dog.
@0: The cat chases the lion.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] The cat needs the lion.[(triple4)] The cat needs the rabbit.[(triple5)] The dog is green.[(triple6)] The dog is young.[(triple7)] The dog likes the cat.[(triple8)] The lion is blue.[(triple9)] The lion is green.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit needs the lion.[(triple16)] @1: The cat is round.[(((triple1) -> rule1))] The lion is round.[(((triple1 triple9) -> rule5) OR ((triple11 triple9) -> rule5))] The rabbit is round.[(((triple11) -> rule1))] @2: The cat needs the cat.[(((((triple1) -> rule1) triple1) -> rule3))] The rabbit needs the cat.[(((((triple11) -> rule1) triple11) -> rule3))] @3: The cat chases the dog.[(((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule9))] The rabbit chases the dog.[(((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule9))] @4: The cat likes the rabbit.[(((((((triple1) -> rule1) triple1) -> rule3) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule9)) -> rule4))] The rabbit likes the rabbit.[(((((((triple11) -> rule1) triple11) -> rule3) ((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule9)) -> rule4))] @5: The rabbit is young.[(((triple13 ((((((triple11) -> rule1) triple11) -> rule3) ((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule9)) -> rule4)) -> rule7) OR ((triple2 ((((((triple1) -> rule1) triple1) -> rule3) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule9)) -> rule4)) -> rule7))]