The cat chases the tiger. The cat is red. The lion is nice. The lion is red. The lion sees the cat. The lion sees the rabbit. The lion sees the tiger. The rabbit chases the tiger. The rabbit sees the tiger. The tiger chases the cat. The tiger chases the rabbit. The tiger is nice. If someone is red and they eat the rabbit then they are blue. If the lion eats the cat and the lion chases the rabbit then the cat is kind. If the rabbit eats the tiger then the tiger is nice. If someone is rough then they see the cat. If someone is nice and they chase the rabbit then the rabbit is nice. If someone eats the cat and they are kind then they see the tiger. If someone is nice and they chase the tiger then they are blue. If someone is blue then they eat the cat. If someone eats the cat then the cat is blue.
The tiger does not eat the cat.
@0: The cat chases the tiger.[(triple1)] The cat is red.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion sees the cat.[(triple5)] The lion sees the rabbit.[(triple6)] The lion sees the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit sees the tiger.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger is nice.[(triple12)] @1: The rabbit is nice.[(((triple12 triple11) -> rule5))] @2: The rabbit is blue.[(((((triple12 triple11) -> rule5) triple8) -> rule7))] @3: The rabbit eats the cat.[(((((((triple12 triple11) -> rule5) triple8) -> rule7)) -> rule8))] @4: The cat is blue.[(((((((((triple12 triple11) -> rule5) triple8) -> rule7)) -> rule8)) -> rule9))] @5: The cat eats the cat.[(((((((((((triple12 triple11) -> rule5) triple8) -> rule7)) -> rule8)) -> rule9)) -> rule8))]