The mouse eats the rabbit. The mouse is blue. The mouse is red. The mouse is rough. The mouse is young. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit likes the mouse. The rabbit visits the mouse. If someone is nice and they eat the mouse then they visit the mouse.
The mouse likes the mouse.
@0: The mouse eats the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit visits the mouse.[(triple15 OR ((triple10 triple8) -> rule1))]