The cat is nice. The rabbit chases the cat. The rabbit is red. The rabbit visits the squirrel. The squirrel chases the cat. The squirrel chases the rabbit. The squirrel is rough. The squirrel is young. The squirrel needs the rabbit. The squirrel visits the rabbit. If the rabbit visits the cat then the rabbit chases the cat. If the rabbit is green then the rabbit is young. If someone chases the squirrel then they are young. If someone is rough then they need the rabbit. If someone is red then they visit the squirrel. If someone needs the cat then they visit the cat. If someone visits the cat then the cat is nice. All red people are rough.
The cat needs the cat.
@0: The cat is nice.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit is red.[(triple3)] The rabbit visits the squirrel.[(triple4 OR ((triple3) -> rule5))] The squirrel chases the cat.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the rabbit.[(triple9 OR ((triple7) -> rule4))] The squirrel visits the rabbit.[(triple10)] @1: The rabbit is rough.[(((triple3) -> rule8))] @2: The rabbit needs the rabbit.[(((((triple3) -> rule8)) -> rule4))]