The bear is round. The cat chases the tiger. The cat is nice. The cat is round. The lion chases the bear. The lion chases the tiger. The lion is round. The lion needs the bear. The lion needs the cat. The lion visits the bear. The lion visits the tiger. The tiger chases the cat. The tiger chases the lion. The tiger is cold. The tiger is round. The tiger needs the cat. If something is cold and it needs the cat then the cat needs the bear. If something needs the cat then it is nice. If something visits the tiger and it chases the tiger then it needs the bear. If something is cold and rough then it visits the cat. If something needs the bear and it chases the lion then the lion is nice. If something chases the bear and the bear needs the lion then the lion visits the cat.
The bear does not visit the cat.
@0: The bear is round.[(triple1)] The cat chases the tiger.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4)] The lion chases the bear.[(triple5)] The lion chases the tiger.[(triple6)] The lion is round.[(triple7)] The lion needs the bear.[(triple8 OR ((triple11 triple6) -> rule3))] The lion needs the cat.[(triple9)] The lion visits the bear.[(triple10)] The lion visits the tiger.[(triple11)] The tiger chases the cat.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is cold.[(triple14)] The tiger is round.[(triple15)] The tiger needs the cat.[(triple16)] @1: The cat needs the bear.[(((triple14 triple16) -> rule1))] The lion is nice.[(((triple9) -> rule2))] The tiger is nice.[(((triple16) -> rule2))]