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