The rabbit is not rough. The rabbit does not need the tiger. The rabbit visits the tiger. The squirrel does not chase the rabbit. The squirrel chases the tiger. The squirrel is green. The squirrel is not nice. The squirrel does not need the tiger. The tiger chases the squirrel. The tiger visits the rabbit. If something chases the squirrel then the squirrel does not visit the tiger. If something visits the squirrel and the squirrel does not need the tiger then the squirrel does not visit the tiger. If something visits the rabbit then the rabbit does not visit the squirrel. If something needs the tiger and it does not visit the rabbit then it chases the squirrel. If the squirrel does not visit the tiger then the tiger needs the squirrel. All rough things are not blue. If something is rough then it is green. If something needs the squirrel then the squirrel is rough.
The rabbit is nice.
@0: The rabbit does not need the tiger.[(triple2)] The rabbit is not rough.[(triple1)] The rabbit visits the tiger.[(triple3)] The squirrel chases the tiger.[(triple5)] The squirrel does not chase the rabbit.[(triple4)] The squirrel does not need the tiger.[(triple8)] The squirrel is green.[(triple6 OR ((((((((triple9) -> rule1)) -> rule5)) -> rule8)) -> rule7))] The squirrel is not nice.[(triple7)] The tiger chases the squirrel.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit does not visit the squirrel.[(((triple10) -> rule3))] The squirrel does not visit the tiger.[(((triple9) -> rule1))] @2: The tiger needs the squirrel.[(((((triple9) -> rule1)) -> rule5))] @3: The squirrel is rough.[(((((((triple9) -> rule1)) -> rule5)) -> rule8))] @4: The squirrel is not blue.[(((((((((triple9) -> rule1)) -> rule5)) -> rule8)) -> rule6))]