The mouse chases the rabbit. The mouse is nice. The mouse likes the rabbit. The mouse does not see the rabbit. The rabbit is rough. The rabbit is young. The rabbit likes the mouse. If the mouse sees the rabbit then the rabbit likes the mouse. If the rabbit sees the mouse and the mouse sees the rabbit then the mouse is big. If someone sees the mouse then they like the rabbit. If someone is nice and they like the rabbit then the rabbit is rough. If someone likes the mouse then they see the mouse. If someone likes the rabbit then they chase the rabbit.
The mouse is young.
@0: The mouse chases the rabbit.[(triple1 OR ((triple3) -> rule6))] The mouse does not see the rabbit.[(triple4)] The mouse is nice.[(triple2)] The mouse likes the rabbit.[(triple3)] The rabbit is rough.[(triple5 OR ((triple2 triple3) -> rule4))] The rabbit is young.[(triple6)] The rabbit likes the mouse.[(triple7)] @1: The rabbit sees the mouse.[(((triple7) -> rule5))] @2: The rabbit likes the rabbit.[(((((triple7) -> rule5)) -> rule3))] @3: The rabbit chases the rabbit.[(((((((triple7) -> rule5)) -> rule3)) -> rule6))]