The cat is green. The cat is red. The cat is young. The cat sees the lion. The lion eats the cat. The lion is blue. The lion is green. The lion is nice. The lion is red. The lion is young. The lion likes the cat. The lion sees the cat. If something likes the cat and the cat is young then it is green. If something sees the lion and it likes the lion then it eats the lion. If something eats the cat and the cat eats the lion then the cat is blue. If something likes the cat and the cat sees the lion then the cat is young. If something eats the lion and the lion eats the cat then the cat likes the lion. If something likes the cat and the cat likes the lion then the lion eats the cat.
The cat sees the cat.
@0: The cat is green.[(triple1)] The cat is red.[(triple2)] The cat is young.[(triple3 OR ((triple11 triple4) -> rule4))] The cat sees the lion.[(triple4)] The lion eats the cat.[(triple5)] The lion is blue.[(triple6)] The lion is green.[(triple7 OR ((triple11 triple3) -> rule1) OR ((triple11 ((triple11 triple4) -> rule4)) -> rule1))] The lion is nice.[(triple8)] The lion is red.[(triple9)] The lion is young.[(triple10)] The lion likes the cat.[(triple11)] The lion sees the cat.[(triple12)]