The cat eats the mouse. The cat is blue. The cat is round. The cat needs the rabbit. The mouse needs the cat. The mouse needs the rabbit. The rabbit eats the cat. The rabbit is blue. The rabbit is nice. The rabbit needs the cat. If someone is round then they visit the mouse. If someone needs the rabbit then the rabbit eats the mouse. If someone needs the mouse and the mouse eats the rabbit then the rabbit is rough.
The cat is not round.
@0: The cat eats the mouse.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat needs the rabbit.[(triple4)] The mouse needs the cat.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit needs the cat.[(triple10)] @1: The cat visits the mouse.[(((triple3) -> rule1))] The rabbit eats the mouse.[(((triple4) -> rule2) OR ((triple6) -> rule2))]