The lion is rough. The lion is round. The lion likes the mouse. The lion likes the rabbit. The mouse is round. The rabbit is round. The rabbit visits the lion. If someone visits the rabbit then they are big. If the rabbit is red then the rabbit is not rough.
The rabbit is not big.
@0: The lion is rough.[(triple1)] The lion is round.[(triple2)] The lion likes the mouse.[(triple3)] The lion likes the rabbit.[(triple4)] The mouse is round.[(triple5)] The rabbit is round.[(triple6)] The rabbit visits the lion.[(triple7)]