The mouse chases the rabbit. The mouse is big. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. The mouse needs the rabbit. The rabbit chases the mouse. The rabbit is nice. The rabbit is young. The rabbit likes the mouse. The rabbit needs the mouse. If someone chases the rabbit then the rabbit needs the mouse. If someone likes the rabbit then the rabbit is red. If someone is red then they are rough.
The mouse needs the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The mouse is big.[(triple2)] The mouse is nice.[(triple3)] The mouse is red.[(triple4)] The mouse is rough.[(triple5 OR ((triple4) -> rule3))] The mouse is young.[(triple6)] The mouse needs the rabbit.[(triple7)] The rabbit chases the mouse.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit needs the mouse.[(triple12 OR ((triple1) -> rule1))]