The bear is blue. The bear does not like the mouse. The bear likes the rabbit. The bear visits the rabbit. The cat is blue. The cat is nice. The mouse chases the bear. The mouse visits the bear. The mouse visits the rabbit. The rabbit is blue. The rabbit is nice. The rabbit likes the mouse. If something is rough then it chases the cat. If something is big then it chases the mouse. If the bear visits the rabbit then the rabbit is rough.
The bear does not like the rabbit.
@0: The bear does not like the mouse.[(triple2)] The bear is blue.[(triple1)] The bear likes the rabbit.[(triple3)] The bear visits the rabbit.[(triple4)] The cat is blue.[(triple5)] The cat is nice.[(triple6)] The mouse chases the bear.[(triple7)] The mouse visits the bear.[(triple8)] The mouse visits the rabbit.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is nice.[(triple11)] The rabbit likes the mouse.[(triple12)] @1: The rabbit is rough.[(((triple4) -> rule3))] @2: The rabbit chases the cat.[(((((triple4) -> rule3)) -> rule1))]