The cat is round. The cat likes the rabbit. The cat needs the rabbit. The dog is round. The dog needs the rabbit. The rabbit is nice. The rabbit is round. The rabbit visits the cat. The rabbit visits the dog. The tiger needs the cat. If something is nice and it visits the dog then the dog likes the rabbit. If something visits the rabbit and it is red then the rabbit likes the cat. If something likes the dog and it is young then the dog needs the tiger.
The dog is round.
@0: The cat is round.[(triple1)] The cat likes the rabbit.[(triple2)] The cat needs the rabbit.[(triple3)] The dog is round.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is round.[(triple7)] The rabbit visits the cat.[(triple8)] The rabbit visits the dog.[(triple9)] The tiger needs the cat.[(triple10)] @1: The dog likes the rabbit.[(((triple6 triple9) -> rule1))]