The cat eats the tiger. The cat is nice. The cat needs the lion. The cat sees the lion. The lion eats the cat. The lion is big. The lion is green. The lion is red. The tiger eats the cat. The tiger eats the lion. The tiger is big. The tiger is green. The tiger is nice. The tiger needs the cat. The tiger sees the cat. The tiger sees the lion. If something eats the lion and the lion is green then it is red. If something eats the tiger and the tiger needs the lion then the tiger is nice. If the cat needs the lion then the lion eats the tiger. If something sees the lion and it is big then the lion needs the tiger. If something is red and it needs the tiger then the tiger needs the lion. If the tiger sees the lion then the tiger needs the cat.
The cat needs the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is nice.[(triple2)] The cat needs the lion.[(triple3)] The cat sees the lion.[(triple4)] The lion eats the cat.[(triple5)] The lion is big.[(triple6)] The lion is green.[(triple7)] The lion is red.[(triple8)] The tiger eats the cat.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is big.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13 OR ((triple1 ((triple8 ((triple16 triple11) -> rule4)) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((triple8 ((triple16 triple11) -> rule4)) -> rule5)) -> rule2))] The tiger needs the cat.[(triple14 OR ((triple16) -> rule6))] The tiger sees the cat.[(triple15)] The tiger sees the lion.[(triple16)] @1: The lion eats the tiger.[(((triple3) -> rule3))] The lion needs the tiger.[(((triple16 triple11) -> rule4))] The tiger is red.[(((triple10 triple7) -> rule1))] @2: The tiger needs the lion.[(((triple8 ((triple16 triple11) -> rule4)) -> rule5))]