The bear chases the cat. The bear is nice. The bear is round. The bear does not visit the cat. The bear does not visit the rabbit. The cat chases the rabbit. The cat is big. The cat is green. The cat is rough. The cat is not round. The cat visits the rabbit. The rabbit chases the bear. The rabbit chases the cat. The rabbit is round. The rabbit visits the cat. If someone needs the cat and they are rough then they chase the rabbit. If someone needs the cat then they need the rabbit. If the rabbit chases the cat and the cat is big then the rabbit needs the cat. If someone needs the rabbit and the rabbit is round then they are not nice. If someone needs the rabbit and the rabbit visits the cat then they need the cat. If the bear is rough then the bear is nice. If the bear needs the rabbit and the rabbit does not visit the bear then the bear chases the cat. Round people are big.
The rabbit does not need the rabbit.
@0: The bear chases the cat.[(triple1)] The bear does not visit the cat.[(triple4)] The bear does not visit the rabbit.[(triple5)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The cat chases the rabbit.[(triple6)] The cat is big.[(triple7)] The cat is green.[(triple8)] The cat is not round.[(triple10)] The cat is rough.[(triple9)] The cat visits the rabbit.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit is round.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The bear is big.[(((triple3) -> rule8))] The rabbit is big.[(((triple14) -> rule8))] The rabbit needs the cat.[(((triple13 triple7) -> rule3))] @2: The rabbit needs the rabbit.[(((((triple13 triple7) -> rule3)) -> rule2))] @3: The rabbit is not nice.[(((((((triple13 triple7) -> rule3)) -> rule2) triple14) -> rule4))]