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