The cat is kind. The cat is nice. The cat is red. The cat is young. The cat likes the lion. The cat needs the lion. The cat sees the lion. The lion likes the cat. The lion needs the cat. The lion sees the cat. If someone needs the cat then the cat sees the lion. If the lion needs the cat and the cat sees the lion then the lion is round. If someone likes the lion and the lion needs the cat then the lion is young. If someone likes the cat and the cat is round then they see the lion. If someone sees the lion then the lion likes the cat. If someone sees the cat and the cat needs the lion then the cat sees the lion.
The lion likes the cat.
@0: The cat is kind.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat likes the lion.[(triple5)] The cat needs the lion.[(triple6)] The cat sees the lion.[(triple7 OR ((triple9) -> rule1) OR ((triple10 triple6) -> rule6))] The lion likes the cat.[(triple8 OR ((triple7) -> rule5) OR ((((triple9) -> rule1)) -> rule5) OR ((((triple10 triple6) -> rule6)) -> rule5))] The lion needs the cat.[(triple9)] The lion sees the cat.[(triple10)] @1: The lion is round.[(((triple9 triple7) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2) OR ((triple9 ((triple10 triple6) -> rule6)) -> rule2))] The lion is young.[(((triple5 triple9) -> rule3))]