The cat needs the rabbit. The cow needs the mouse. The cow sees the rabbit. The mouse is big. The mouse is round. The mouse needs the cow. The rabbit needs the cow. If someone is cold and they need the rabbit then they are young. If the cow needs the cat then the cat is blue. If someone needs the mouse then they need the cat. If someone is blue then they are not round. If someone sees the cow then they see the mouse. If someone eats the cat then the cat does not need the rabbit. If someone needs the rabbit and they do not need the cat then the cat needs the cow. If someone needs the cow and they are not blue then they are big.
The cat is round.
@0: The cat needs the rabbit.[(triple1)] The cow needs the mouse.[(triple2)] The cow sees the rabbit.[(triple3)] The mouse is big.[(triple4)] The mouse is round.[(triple5)] The mouse needs the cow.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The cow needs the cat.[(((triple2) -> rule3))] @2: The cat is blue.[(((((triple2) -> rule3)) -> rule2))] @3: The cat is not round.[(((((((triple2) -> rule3)) -> rule2)) -> rule4))]