The cat is nice. The cat is not round. The cat is young. The cat likes the rabbit. The cat visits the rabbit. The lion likes the cat. The lion likes the rabbit. The lion needs the cat. The mouse is round. The mouse needs the lion. The mouse needs the rabbit. The rabbit likes the lion. The rabbit needs the cat. The rabbit needs the mouse. The rabbit does not visit the lion. If the lion needs the cat and the lion does not visit the rabbit then the lion is round. If the lion visits the mouse and the lion is rough then the lion is not nice. If someone is green and they do not visit the cat then they are not rough. If the cat visits the lion and the lion likes the mouse then the cat visits the rabbit. If someone visits the rabbit then the rabbit is young. If someone likes the rabbit then the rabbit is not round. If someone visits the mouse and the mouse is rough then the mouse is round. If the rabbit visits the mouse then the rabbit is rough.
The rabbit needs the mouse.
@0: The cat is nice.[(triple1)] The cat is not round.[(triple2)] The cat is young.[(triple3)] The cat likes the rabbit.[(triple4)] The cat visits the rabbit.[(triple5)] The lion likes the cat.[(triple6)] The lion likes the rabbit.[(triple7)] The lion needs the cat.[(triple8)] The mouse is round.[(triple9)] The mouse needs the lion.[(triple10)] The mouse needs the rabbit.[(triple11)] The rabbit does not visit the lion.[(triple15)] The rabbit likes the lion.[(triple12)] The rabbit needs the cat.[(triple13)] The rabbit needs the mouse.[(triple14)] @1: The rabbit is not round.[(((triple4) -> rule6) OR ((triple7) -> rule6))] The rabbit is young.[(((triple5) -> rule5))]