The lion chases the tiger. The lion is blue. The lion is cold. The lion is kind. The lion is red. The lion is rough. The lion likes the tiger. The lion sees the tiger. The tiger chases the lion. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is red. The tiger likes the lion. The tiger sees the lion. If someone sees the lion then they are red. If the tiger is cold then the tiger is red. If someone likes the tiger then they chase the tiger. If someone likes the lion then they like the tiger. If the lion likes the tiger and the lion is cold then the lion is blue. If someone chases the lion then they like the lion.
The lion does not like the lion.
@0: The lion chases the tiger.[(triple1 OR ((triple7) -> rule3))] The lion is blue.[(triple2 OR ((triple7 triple3) -> rule5))] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion is red.[(triple5)] The lion is rough.[(triple6)] The lion likes the tiger.[(triple7)] The lion sees the tiger.[(triple8)] The tiger chases the lion.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is red.[(triple13 OR ((triple11) -> rule2) OR ((triple15) -> rule1))] The tiger likes the lion.[(triple14 OR ((triple9) -> rule6))] The tiger sees the lion.[(triple15)] @1: The tiger likes the tiger.[(((triple14) -> rule4) OR ((((triple9) -> rule6)) -> rule4))] @2: The tiger chases the tiger.[(((((triple14) -> rule4)) -> rule3) OR ((((((triple9) -> rule6)) -> rule4)) -> rule3))]