The cat sees the tiger. The lion chases the tiger. The lion is kind. The lion sees the cat. The tiger chases the cat. The tiger eats the lion. The tiger is green. The tiger is nice. The tiger is red. The tiger is young. The tiger sees the cat. The tiger sees the lion. If someone chases the lion then the lion sees the tiger. If someone sees the cat then they see the lion. If someone sees the lion and they chase the cat then the lion is nice. If the tiger sees the lion then the lion is nice. If someone sees the tiger then they chase the lion. If someone eats the lion then the lion chases the cat.
The tiger does not eat the cat.
@0: The cat sees the tiger.[(triple1)] The lion chases the tiger.[(triple2)] The lion is kind.[(triple3)] The lion sees the cat.[(triple4)] The tiger chases the cat.[(triple5)] The tiger eats the lion.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger is young.[(triple10)] The tiger sees the cat.[(triple11)] The tiger sees the lion.[(triple12 OR ((triple11) -> rule2))] @1: The cat chases the lion.[(((triple1) -> rule5))] The lion chases the cat.[(((triple6) -> rule6))] The lion is nice.[(((triple12) -> rule4) OR ((triple12 triple5) -> rule3) OR ((((triple11) -> rule2)) -> rule4) OR ((((triple11) -> rule2) triple5) -> rule3) OR ((((triple4) -> rule2) ((triple6) -> rule6)) -> rule3))] The lion sees the lion.[(((triple4) -> rule2))] @2: The lion sees the tiger.[(((((triple1) -> rule5)) -> rule1))] @3: The lion chases the lion.[(((((((triple1) -> rule5)) -> rule1)) -> rule5))]