The bear is blue. The bear is round. The bear needs the lion. The bear sees the cat. The bear visits the cat. The bear visits the lion. The cat needs the lion. The cat visits the bear. The lion does not see the bear. The lion sees the cat. If the bear visits the lion then the bear is blue. If something sees the bear and it does not need the bear then it is green. If the cat is nice and the cat is big then the cat is not blue. If something is nice then it visits the cat. If something sees the lion and the lion visits the cat then it is round. If the lion does not need the bear and the lion does not need the cat then the cat does not see the bear.
The cat does not visit the cat.
@0: The bear is blue.[(triple1 OR ((triple6) -> rule1))] The bear is round.[(triple2)] The bear needs the lion.[(triple3)] The bear sees the cat.[(triple4)] The bear visits the cat.[(triple5)] The bear visits the lion.[(triple6)] The cat needs the lion.[(triple7)] The cat visits the bear.[(triple8)] The lion does not see the bear.[(triple9)] The lion sees the cat.[(triple10)]