The cat is not cold. The cat is not round. The cat likes the lion. The cat visits the lion. The lion chases the cat. The lion is cold. The lion is kind. The lion is round. The lion likes the cat. The lion visits the cat. If something visits the cat and it likes the lion then it likes the cat. If something is kind and not round then it does not visit the cat. If something visits the lion then the lion is nice.
The cat is not round.
@0: The cat is not cold.[(triple1)] The cat is not round.[(triple2)] The cat likes the lion.[(triple3)] The cat visits the lion.[(triple4)] The lion chases the cat.[(triple5)] The lion is cold.[(triple6)] The lion is kind.[(triple7)] The lion is round.[(triple8)] The lion likes the cat.[(triple9)] The lion visits the cat.[(triple10)] @1: The lion is nice.[(((triple4) -> rule3))]