The cat is round. The cat sees the rabbit. The lion chases the cat. The lion chases the rabbit. The lion is kind. The lion sees the cat. The lion visits the cat. The rabbit is round. The rabbit is young. The rabbit sees the lion. If the cat sees the lion then the cat is round. If the cat sees the rabbit and the rabbit is young then the cat is young.
The rabbit is not round.
@0: The cat is round.[(triple1)] The cat sees the rabbit.[(triple2)] The lion chases the cat.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is kind.[(triple5)] The lion sees the cat.[(triple6)] The lion visits the cat.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The cat is young.[(((triple2 triple9) -> rule2))]