The bear is nice. The cat visits the rabbit. The rabbit does not visit the cat. If something chases the rabbit then it does not need the rabbit. If something chases the cat then it needs the rabbit. If something chases the cat and the cat needs the bear then the cat is nice. If the bear is nice then the bear chases the cat. If the rabbit visits the bear and the bear is round then the rabbit is nice. If something chases the rabbit then it is not big. If something needs the bear then the bear needs the cat. If something needs the rabbit and the rabbit does not visit the cat then it needs the bear.
The cat chases the bear.
@0: The bear is nice.[(triple1)] The cat visits the rabbit.[(triple2)] The rabbit does not visit the cat.[(triple3)] @1: The bear chases the cat.[(((triple1) -> rule4))] @2: The bear needs the rabbit.[(((((triple1) -> rule4)) -> rule2))] @3: The bear needs the bear.[(((((((triple1) -> rule4)) -> rule2) triple3) -> rule8))] @4: The bear needs the cat.[(((((((((triple1) -> rule4)) -> rule2) triple3) -> rule8)) -> rule7))]