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