The cat is red. The cat likes the lion. The cat needs the tiger. The cat sees the lion. The lion is blue. The lion needs the cat. The lion sees the cat. The tiger likes the lion. The tiger needs the cat. The tiger sees the cat. If something likes the tiger then it needs the cat. If something likes the lion and it is red then the lion is red. If something sees the tiger and the tiger is red then it likes the cat. If something needs the lion then it sees the tiger. If something likes the cat and the cat sees the lion then the lion likes the tiger. Red things are round.
The lion is not blue.
@0: The cat is red.[(triple1)] The cat likes the lion.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the lion.[(triple4)] The lion is blue.[(triple5)] The lion needs the cat.[(triple6)] The lion sees the cat.[(triple7)] The tiger likes the lion.[(triple8)] The tiger needs the cat.[(triple9)] The tiger sees the cat.[(triple10)] @1: The cat is round.[(((triple1) -> rule6))] The lion is red.[(((triple2 triple1) -> rule2))] @2: The lion is round.[(((((triple2 triple1) -> rule2)) -> rule6))]