The cat is blue. The cat is young. The cat needs the rabbit. The lion chases the rabbit. The lion is blue. The lion is green. The lion likes the cat. The lion likes the rabbit. The lion needs the cat. The rabbit chases the lion. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is young. The rabbit needs the cat. If something likes the rabbit and the rabbit likes the cat then the rabbit needs the cat. If the rabbit needs the lion and the lion is blue then the lion needs the rabbit. If something likes the cat and it is blue then the cat chases the lion. If something is young then it needs the lion. If something chases the lion and the lion is green then it is green. If something is green then it chases the rabbit.
The cat chases the rabbit.
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat needs the rabbit.[(triple3)] The lion chases the rabbit.[(triple4 OR ((triple6) -> rule6))] The lion is blue.[(triple5)] The lion is green.[(triple6)] The lion likes the cat.[(triple7)] The lion likes the rabbit.[(triple8)] The lion needs the cat.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12 OR ((triple10 triple6) -> rule5))] The rabbit is kind.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The cat chases the lion.[(((triple7 triple5) -> rule3))] The cat needs the lion.[(((triple2) -> rule4))] The rabbit chases the rabbit.[(((triple12) -> rule6) OR ((((triple10 triple6) -> rule5)) -> rule6))] The rabbit needs the lion.[(((triple14) -> rule4))] @2: The cat is green.[(((((triple7 triple5) -> rule3) triple6) -> rule5))] The lion needs the rabbit.[(((((triple14) -> rule4) triple5) -> rule2))] @3: The cat chases the rabbit.[(((((((triple7 triple5) -> rule3) triple6) -> rule5)) -> rule6))]