The dog is kind. The dog does not like the rabbit. The dog likes the tiger. The lion is round. The lion sees the rabbit. The rabbit does not need the lion. The tiger sees the dog. If someone sees the lion and they are blue then the lion likes the tiger. If someone likes the dog and they need the dog then the dog likes the lion. If someone is blue and round then they need the tiger. If someone likes the rabbit and they like the tiger then the tiger is not blue. Round people are blue. If someone needs the dog then the dog sees the rabbit. If someone needs the tiger then they need the dog. If someone likes the lion then the lion sees the rabbit. If someone sees the rabbit then they do not see the dog.
The tiger is blue.
@0: The dog does not like the rabbit.[(triple2)] The dog is kind.[(triple1)] The dog likes the tiger.[(triple3)] The lion is round.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit does not need the lion.[(triple6)] The tiger sees the dog.[(triple7)] @1: The lion does not see the dog.[(((triple5) -> rule9))] The lion is blue.[(((triple4) -> rule5))] @2: The lion needs the tiger.[(((((triple4) -> rule5) triple4) -> rule3))] @3: The lion needs the dog.[(((((((triple4) -> rule5) triple4) -> rule3)) -> rule7))] @4: The dog sees the rabbit.[(((((((((triple4) -> rule5) triple4) -> rule3)) -> rule7)) -> rule6))] @5: The dog does not see the dog.[(((((((((((triple4) -> rule5) triple4) -> rule3)) -> rule7)) -> rule6)) -> rule9))]