The lion chases the tiger. The lion is cold. The lion is nice. The lion is red. The lion is rough. The lion is round. The lion likes the tiger. The lion sees the tiger. The tiger does not chase the lion. The tiger is rough. The tiger likes the lion. The tiger sees the lion. If something likes the lion then the lion sees the tiger. If the lion is nice and the lion sees the tiger then the tiger is round. If something chases the tiger then the tiger is rough. If the lion is cold then the lion likes the tiger. If something likes the lion and it sees the tiger then the tiger chases the lion. If something likes the lion and the lion sees the tiger then the lion is rough. If something is nice and it sees the tiger then it is cold. If the lion chases the tiger and the tiger is not round then the lion is not round.
The tiger is not cold.
@0: The lion chases the tiger.[(triple1)] The lion is cold.[(triple2 OR ((triple3 triple8) -> rule7) OR ((triple3 ((triple11) -> rule1)) -> rule7))] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5 OR ((triple11 triple8) -> rule6) OR ((triple11 ((triple11) -> rule1)) -> rule6))] The lion is round.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple2) -> rule4) OR ((((triple3 triple8) -> rule7)) -> rule4) OR ((((triple3 ((triple11) -> rule1)) -> rule7)) -> rule4))] The lion sees the tiger.[(triple8 OR ((triple11) -> rule1))] The tiger does not chase the lion.[(triple9)] The tiger is rough.[(triple10 OR ((triple1) -> rule3))] The tiger likes the lion.[(triple11)] The tiger sees the lion.[(triple12)] @1: The tiger is round.[(((triple3 triple8) -> rule2) OR ((triple3 ((triple11) -> rule1)) -> rule2))]