The lion chases the tiger. The lion is blue. The lion is cold. The lion visits the tiger. The tiger chases the lion. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is round. The tiger needs the lion. The tiger visits the lion. If someone needs the tiger then the tiger chases the lion. If someone needs the tiger then the tiger is blue. If the tiger is round and the tiger needs the lion then the lion visits the tiger. Round people are blue. If someone is nice and they visit the lion then they chase the tiger. If someone needs the lion then the lion needs the tiger.
The tiger does not visit the tiger.
@0: The lion chases the tiger.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion visits the tiger.[(triple4 OR ((triple10 triple11) -> rule3))] The tiger chases the lion.[(triple5 OR ((((triple11) -> rule6)) -> rule1))] The tiger is blue.[(triple6 OR ((triple10) -> rule4) OR ((((triple11) -> rule6)) -> rule2))] The tiger is cold.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger needs the lion.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion needs the tiger.[(((triple11) -> rule6))] The tiger chases the tiger.[(((triple8 triple12) -> rule5))]