The bear is big. The bear is not green. The bear is red. The bear is round. The bear needs the cat. The bear sees the cat. The bear visits the cat. The cat is big. The cat is blue. The cat is green. The cat is not red. The cat is not round. The cat needs the bear. The cat sees the bear. The cat visits the bear. If something needs the bear then the bear needs the cat. If the bear visits the cat and the cat sees the bear then the cat is green.
The bear is big.
@0: The bear is big.[(triple1)] The bear is not green.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear needs the cat.[(triple5 OR ((triple13) -> rule1))] The bear sees the cat.[(triple6)] The bear visits the cat.[(triple7)] The cat is big.[(triple8)] The cat is blue.[(triple9)] The cat is green.[(triple10 OR ((triple7 triple14) -> rule2))] The cat is not red.[(triple11)] The cat is not round.[(triple12)] The cat needs the bear.[(triple13)] The cat sees the bear.[(triple14)] The cat visits the bear.[(triple15)]