The cat is round. The rabbit needs the squirrel. The squirrel sees the cat. If something visits the squirrel then it is blue. If something is big then it sees the squirrel. If something needs the rabbit and the rabbit visits the squirrel then the rabbit is blue. All young things are rough. If something needs the rabbit then the rabbit sees the cat. If the cat needs the rabbit then the cat visits the rabbit. If something visits the cat then the cat needs the squirrel. If something sees the cat and the cat is round then the cat needs the rabbit.
The rabbit is not rough.
@0: The cat is round.[(triple1)] The rabbit needs the squirrel.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat needs the rabbit.[(((triple3 triple1) -> rule8))] @2: The cat visits the rabbit.[(((((triple3 triple1) -> rule8)) -> rule6))] The rabbit sees the cat.[(((((triple3 triple1) -> rule8)) -> rule5))]