The bear chases the cat. The bear eats the cat. The bear is blue. The bear is rough. The bear is young. The bear visits the cat. The cat eats the bear. The cat is blue. The cat is rough. The cat visits the bear. If the bear is blue then the bear eats the cat.
The bear does not visit the cat.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((triple3) -> rule1))] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear visits the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat is blue.[(triple8)] The cat is rough.[(triple9)] The cat visits the bear.[(triple10)]