The bear is big. The bear is cold. The bear is green. The bear is red. The bear likes the rabbit. The bear visits the rabbit. The rabbit eats the bear. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit visits the bear. If someone is rough then they visit the rabbit. If the bear eats the rabbit and the bear likes the rabbit then the bear is red.
The rabbit is rough.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear likes the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9)] The rabbit is red.[(triple10)] The rabbit is rough.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The rabbit visits the rabbit.[(((triple11) -> rule1))]