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