The bear is red. The bear likes the mouse. The bear visits the mouse. The dog likes the bear. The dog sees the mouse. The mouse likes the bear. The mouse likes the dog. If someone sees the mouse then the mouse is nice. If someone is nice then they see the mouse. Nice, rough people are big. If someone likes the mouse and they do not visit the mouse then they are not red. If someone visits the mouse then the mouse visits the bear. If someone is cold then they visit the dog.
The dog is rough.
@0: The bear is red.[(triple1)] The bear likes the mouse.[(triple2)] The bear visits the mouse.[(triple3)] The dog likes the bear.[(triple4)] The dog sees the mouse.[(triple5)] The mouse likes the bear.[(triple6)] The mouse likes the dog.[(triple7)] @1: The mouse is nice.[(((triple5) -> rule1))] The mouse visits the bear.[(((triple3) -> rule5))] @2: The mouse sees the mouse.[(((((triple5) -> rule1)) -> rule2))]